Roughly speaking, Gödel encoded (or “simulated”) the formal part of mathematics within arithmetic (using operations such as addition and multiplication), and co

Roughly speaking, Gödel encoded (or “simulated”) the formal part of mathematics within arithmetic (using operations such as addition and multiplication), and constructed a sentence that says “this sentence is unprovable” within that simulation.