116
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 month ago* (last edited 1 month 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
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