Orice sistem logic formal, admite cel putin o contradictie.

Aceasta contradictie poate fi rezolvata, admitand un nou postulat.

Noul sistem formal, admite cel putin o contradictie