Et pourtant... ils ne remplissent pas N

algorithme avez avons axiome du choix axiomes BOURBAKI calcul carré chapitre Chers Collègues Choron chose classe d'équivalence classique Commission des thèses Conférencier construction décimale définir définition demi-plan de POINCARÉ démonstration dérivée DIENER différentielles dire élément ensemble infini entier naïf entiers naïfs entiers naturels équations exemple existe fonction continue formalisation formule géométrie graphe HARTHONG HILBERT infiniment petit infinitésimaux j'ai jury l'Analyse Non Standard l'ensemble des entiers l'infini l'Université leçon LOBRY logique LUTZ maintenant Mandarin mathé mathématiciens mathématiques maticien matiques mécanique méthode formaliste Monsieur naïfs ne remplissent négation nombre fini nombres entiers nombres rationnels nombres réels objets Oran ordinaux paire parler penser petite peux possède précisément premier problème Professeur propriété qu'une question raison rapporteur réalisable REEB règles relation d'ordre représenter résultat rien ROBINSON scientifique sens serait seul simple sommes Strasbourg suites de CAUCHY symboles système formel technique théorie des ensembles théorie Z.F.C. travail TROESCH utilisé Vénissac vrai