Widerspruchsfreiheit, Konsistenz

==> System, formales

==> Theorem