''meist Philosophie'' unbeweisbare, aber in sich einsichtige Wahrheit, die daher nicht bewiesen werden muss und allgemein als gültig und richtig anerkannt wird
''meist Mathematik, Logik'' nicht abgeleitete Aussage, die als Ausgangspunkt einer deduktiven Theorie dient