Łoś Jerzy 1920 1998

Sur le théorème de Gödel pour les théories indénombrables.