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 —