A
theorem is said to be independent from a set of
axioms if it cannot be proven neither true nor false from those axioms.
It or its negation could therefore be arbitrarily added to the set of axioms.
Sign up or
sign in create discussions.
There are no discussions about this article yet.
Ciro Santilli