self-evident+proposition
131Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… …
132Assumption — In logic an assumption is a proposition that is taken for granted, as if it were true based upon presupposition without preponderance of the facts. An assumption that is considered to be self evident or otherwise fundamental is called an axiom.… …
