The investigation of the systems implied by a set of axioms also requires some assumptions. For example, one must assume that any axiom implies itself, i.e. P → P. Once this axiom is accepted, there are a great number of logical axioms which are equally plausible.
The investigation of the systems implied by a set of axioms also requires some assumptions. For example, one must assume that any axiom implies itself, i.e. P → P. Once this axiom is accepted, there are a great number of logical axioms which are equally plausible.