Abstract

La solution des antinomies s’accomplit en 3 étapes. 1° La théorie des types de Russell avec l’axiome de réductibilité. 2° Ramsey divise les antinomies en deux groupes. Le premier groupe reçoit sa solution de la simple théorie des types ; seul, le groupe élargi exige l’axiome de réductibilité. 3° Hilbert fonde la théorie métamathématique de la preuve, que les logiciens polonais élargissent en une métalogique. Gödel découvre l’arithmétisation et il prouve l’existence de propositions insolubles. Tarski montre que le concept de vérité ne peut être défini sans contradiction que dans un métalangage. Carnap généralise ce résultat, ce qui fait que les antinomies syntactiques sont sans dommage pour la science.