Axiomatic Systems

Home > Philosophy > Logic > Formal Proof > Axiomatic Systems

An axiomatic system is a set of axioms and rules that are used to derive proofs. It is used to establish the foundations of mathematical logic.