Re: [spam][crazy][fiction][random] Non-Canon MCBoss Spinoffs

[Undescribed Horrific Abuse, One Victim & Survivor of Many]

i found part of a lecture. it says godel’s theorem states there is no
proving system that is all three of sound, complete, and checkable.
sound: proofs imply truth
complete: all truths can be proven
checkable: all expres —