Nicht deduktiv abgeleiteter Grundsatz einer Theorie, der aufgrund von Logik oder Erfahrung keines Beweises (mehr) bedarf.