← Feed @davidsuculum@mathstodon.xyz Post #856538 2026-03-29 01:54 UTC I think I've read so many sketches of proofs of Gödel's theorem that somehow they should amount to the full rigorous proof. Replies (0) No replies.