You misunderstand the definition of axioms.
Axioms do not have to be proven in a logical framework. They are assumed to be true and do not need to be proven.
You are viewing a single comment's thread from:
You misunderstand the definition of axioms.
Axioms do not have to be proven in a logical framework. They are assumed to be true and do not need to be proven.