Cahiers pour l'analyse, Volume 10

affirme arguments Aristote assertorique axiomatique axiomes Bemerkungen c'est-à-dire calcul cercle vicieux chose classe de nombres conjonction connecteurs considérer constructiviste contradiction couple d'entiers défini définition démonstration dénombrable dérivation déterminée diagonalisation disjonction domaine énoncé exemple existe expression fonction extensive fonction prédicative fonction propositionnelle forme Frege Gödel Ibid implique infini instances contrastées intuitive l'arithmétique l'axiome de réductibilité l'ensemble des entiers l'expression l'infini langage Logic logique logique mathématique Mathematica mathématiques maximale mécanisme ment modale modèle nécessaire négation nombre cardinal nombres entiers nombres rationnels nombres réels non-concluance notion objet ordre paradoxes particulière Patzig philosophie possible pouvons prédicat premier prémisses preuve par instances principe du cercle problème proposition propositions mathématiques propriété quaterne quelconque réels règles relation représente Russell science sens serait seulement signification simple sous-ensemble structure symboles syntaxe système formel termes théorème de Gödel théorème de Löwenheim-Skolem théorie des ensembles théorie des types tion totalité variable apparente vérité vrai Wittgenstein τὸ