OurBigBook
.com (beta)
About
$ Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
31
)
Consistency
A set of
axioms
is consistent if they don't lead to any contradictions.
When a set of axioms is not consistent, false can be proven, and then everything is true, making the set of axioms useless.
Ancestors
Axiom
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Index
Synonyms
cirosantilli/consistent
Discussion (0)
Subscribe (1)
Sign up
or
sign in
create discussions.
There are no discussions about this article yet.
View article source