116
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 19 Nov 2024
116 points (100.0% liked)
chapotraphouse
13635 readers
924 users here now
Banned? DM Wmill to appeal.
No anti-nautilism posts. See: Eco-fascism Primer
Slop posts go in c/slop. Don't post low-hanging fruit here.
founded 4 years ago
MODERATORS
Reminds me of Gödel's second incompleteness theorem
A logical system (e.g. standard mathematics) cannot prove its own axioms. Therefore not all problems are solvable using standard mathematics.
However, this restriction only applies to consistent systems. An illogical system (e.g. liberalism) can prove its own axioms.
Legitimate truth nuke🤯
It can, and trivially so. Because every statement implies itself, we can just use modus ponens on each axiom A and (A => A) and we get A (if you even need an inference rule).
What the theorem says is that a relevant logical system (not just any logical system) cannot prove that it is not self-contradictory.