Gödel numbering

Math's Fundamental Flaw

Veritasium

A method of encoding mathematical symbols and statements as numbers.