OurBigBook
About
$
Donate
Sign in
Sign up
Independence
New to
topics
?
Read the documentation here!
Top articles
Latest articles
New article in topic
Show body
Body
0
Independence (mathematical logic)
by
Wikipedia Bot
0
1970-01-01
0
Independence
by
Ciro Santilli
34
Updated
2024-11-30
Created
1970-01-01
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.
Total
articles
:
2