Les limitations internes des formalismes Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques - Ladrière, Jean (Collection de logique mathématique. Sér. B., 1957)