Text this: Les limitations internes des formalismes. Étude sur la signification du théoréme de Gödel et des thérémes apparentés dans la théotia des fondements des mathématiques