Kurt Gödel used Peano arithmetic to emulate formal logical languages within arithmetic