axiomatic systems
Axiomatic systems are sets of statements or rules that serve as a coherent and foundational basis for constructing mathematical or logical theories, where the statements are assumed to be true without the need for proof.
Requires login.