- #1
epkid08
- 264
- 1
Is it possible to have distinct implications from the existence of only one axiom?
I know what you mean, but wouldn't you need an axiom that allows you to "combine" the axioms into one logical statement.
Anywho let me be more specific to dodge your problem then, assume you have only one axiom, the axiom of extensionality from ZFC. Can any truly distinct implications be concluded from this axiom?
I know what you mean, but wouldn't you need an axiom that allows you to "combine" the axioms into one logical statement.
Anywho let me be more specific to dodge your problem then, assume you have only one axiom, the axiom of extensionality from ZFC. Can any truly distinct implications be concluded from this axiom?