The Nature of Maths Gödel’s Incompleteness Theorem His theorems paraphrase to: First theorem of undecidability If axiomatic set theory is consistent, there exist theorems…