OurBigBook
About
$
Donate
Sign in
+
Sign up
Independence (mathematical logic)
ID: independence-mathematical-logic
Top articles
Latest articles
+
New article in topic
Show body
Body
0
Independence (mathematical logic)
by
Wikipedia Bot
0
1970-01-01
0
Independence (mathematical logic)
by
Ciro Santilli
36
Updated
2025-04-24
+
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
New to
topics
?
Read the docs here!