OurBigBook
About
$
Donate
Sign in
+
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
Independence (mathematical logic)
Index
Mathematics
Fields of mathematics
Mathematical logic
Like
(0)
1 By others
on same topic
0 Discussions
1970-01-01
See my version
Ancestors
(4)
Mathematical logic
Fields of mathematics
Mathematics
Index
View article source
Discussion
(0)
Subscribe (1)
+
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(1)
Show body
Body
0
Independence (mathematical logic)
by
Ciro Santilli
34
Updated
2024-12-15
+
Created
1970-01-01
View more
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.
See all articles in the same topic
+
Create my own version