Als Modell bezeichnet man in der Mathematik ein Modell eines Axiomensystems. Beispielsweise ist die Geometrie der euklidischen Ebene ein Modell des euklidischen Axiomensystems. Wenn man auf das Parallelenaxiom verzichtet, ist auch die Geometrie der hyperbolischen Ebene ein Modell des übrigbleibenden Axiomensystems. Die Existenz eines Modells beweist die Widerspruchsfreiheit eines Axiomensystems. In der Modelltheorie als Teilgebiet…

Wenn die Riemann-Vermutung nicht entscheidbar ist, dann ist sie wahr.