Jednojezični primeri (nisu ih verifikovali PONS urednici)
nemački
Als Ergebnis der Ausgleichung erhält man Koordinatenverbesserungen, die zu den Näherungskoordinaten addiert das optimale, widerspruchsfreie Netz ergeben.
Dann liefert sie einen Beweis der Widerspruchsfreiheit des Axiomensystems (wobei man allerdings eine widerspruchsfreie Begründung der reellen Zahlen als gegeben voraussetzen muss).
Bis heute ist es jedoch – mit potentieller Ausnahme von Superstringansätzen, die über einfache Supersymmetrie hinausgehen – nicht gelungen, eine widerspruchsfreie Theorie der Supergravitation aufzustellen.
