Il y aurait ainsi une élimination conjointe du sujet connaissant et du fondement
...... du Théétète et dont il va être question plus avant dans les pages qui suivent.
...... 214. Un exemple de calcul numérique avec arrêt : la fonction successeur ......
fait des myriades de combinaisons que même le jeu le plus simple impliquerait. 
