115
NYT BEND THE KNEE.
(hexbear.net)
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
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.