× Annonce

Chers usagers du portail lexical du CNRTL,

Après vingt ans de bons et loyaux services, la version actuelle du portail sera prochainement remplacée par une nouvelle version au 1er juillet 2026. Cette nouvelle version apporte une refonte complète de l'interface adaptée à tous les supports (ordinateurs, tablettes, smartphones) et inclut également de nouvelles ressources.

Vous pouvez d'ores et déjà vous familiariser avec la nouvelle version ici : Portail lexical

En vous remerciant,

L'équipe du CNRTL
Police de caractères:

Surligner les objets textuels
Colorer les objets :
 
 
 
 
 
 

Entrez une forme
options d'affichagecatégorie :
finitisme n.m. LOG. 
Compl.TLF (mêmes réf., ø texte)
1957 - «[...] l'esprit tantôt nie aveuglément l'infini actuel au nom d'un finitisme sans conviction, tantôt parie dans la nuit pour un absolu [...]» V. Jankélévitch, Le Je-ne-sais-quoi et le presque-rien, 41 (P. U. F.) - TLF
*1964 - «Il exige que la mathématique au moyen de laquelle on étudie un système formel ne fasse usage de la notion d'infini que dans les cas où cet emploi ne semble pas pouvoir donner naissance à des difficultés. Sont notamment interdites la considération d'ensembles infinis comme des touts donnés, l'application à ces ensembles du principe du tiers exclu ou d'un principe de choix analogue à celui qu'énonce l'axiome de Zermelo. La théorie de la démonstration telle que la conçoit Hilbert (et à sa suite Hërbrand) est strictement finitiste. [...] arithmétique satisfaisant aux exigences caractéristiques du finitisme.» R. Martin, Contribution à un vocab. de la logique mod.