Abstract

On montre comment on peut établir la non-contradiction d’une discipline sans l’arithmétiser et l’on précise la relation, même en logique intui- tionniste, entre la non-contradiction, la compatibilité et l’indépendance d’un système de propositions. On analyse ainsi la démonstration classique de la non- contradiction de la géométrie lobatchefskienne. Et l’on indique que la vérité des propositions mathématiques est relative.Quant à la cohérence de la logique elle-même, il ne semble pas que l’on connaisse actuellement de moyen sûr de l’établir.