this post was submitted on 19 Nov 2024
116 points (100.0% liked)
chapotraphouse
13639 readers
745 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
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.