New Foundations

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Cet article ou cette section concernant les mathématiques doit être recyclé. (indiquez la date de pose grâce au paramètre date)

Une réorganisation et une clarification du contenu est nécessaire. Discutez des points à améliorer en page de discussion.

En théorie des ensembles, New Foundations (NF) est une théorie axiomatique conçue par Willard Van Orman Quine. En 1937, il écrivit un article intitulé "New Foundations for Mathematical Logic" . En 1983, le mathématicien belge Marcel Crabbé a prouvé la consistance d'un système qu'il a appelé NFU, NF avec des ur-éléments .

Les prédicats et la hiérarchie d'appartenance[modifier | modifier le code]

Les prédicats utilisés sont l'égalité et l'appartenance. La hiérarchie d'appartenance définit :

  • pour chaque nombre naturel n, les objets de type n+1 sont des ensembles d'éléments n
  • les ensembles de type n ont des éléments de type n-1.
  • Les objets reliés entre eux par une relation d'équivalence (prédicat d'identité) doivent être du même type.

et

Les axiomes[modifier | modifier le code]

Si est une formule, alors l'ensemble existe.
Dit autrement, étant donnée une formule , la formule est un axiome où represente l'ensemble .


Références[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

  • Crabbé, Marcel, 1982, On the consistency of an impredicative fragment of Quine's NF, The Journal of Symbolic Logic 47: 131-136.
  • Holmes, Randall, 1998. Elementary Set Theory with a Universal Set. Academia-Bruylant. The publisher has graciously consented to permit diffusion of this introduction to NFU via the web. Copyright is reserved.
  • Jensen, R. B., 1969, "On the Consistency of a Slight(?) Modification of Quine's NF," Synthese 19: 250-63. With discussion by Quine.
  • Quine, W. V., 1980, "New Foundations for Mathematical Logic" in From a Logical Point of View, 2nd ed., revised. Harvard Univ. Press: 80-101. The definitive version of where it all began, namely Quine's 1937 paper in the American Mathematical Monthly.

Lien interne[modifier | modifier le code]

Liens externes[modifier | modifier le code]