« Fondements des mathématiques/Des preuves de cohérence » : différence entre les versions