📜∑❓

#gödel #incompleteness theorems #formal systems #unprovable statements #kurt gödel #axioms #undecidable

∀→🔢

#gödel #gödel numbering #arithmetization #metamathematics #kurt gödel #formal language #encoding