115
NYT BEND THE KNEE. (hexbear.net)
you are viewing a single comment's thread
view the rest of the comments
[-] Tomorrow_Farewell@hexbear.net 2 points 1 week ago* (last edited 1 week ago)

A logical system (e.g. standard mathematics) cannot prove its own axioms

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.

this post was submitted on 19 Nov 2024
115 points (100.0% liked)

chapotraphouse

13551 readers
869 users here now

Banned? DM Wmill to appeal.

No anti-nautilism posts. See: Eco-fascism Primer

Gossip posts go in c/gossip. Don't post low-hanging fruit here after it gets removed from c/gossip

founded 3 years ago
MODERATORS