ein Satz, der in einer Theorie zu den unbeweisbaren, nicht beweisbedürftigen Grundgesetzen oder Axiomen gehört, welche die Grundlage der Beweise von Theoremen bilden.