Anonymous ID: ae19a4 Sept. 24, 2023, 12:28 p.m. No.19603738   ๐Ÿ—„๏ธ.is ๐Ÿ”—kun

>>19603676

Gรถdelโ€™s main maneuver was to map statements about a system of axioms onto statements within the system โ€” that is, onto statements about numbers. This mapping allows a system of axioms to talk cogently about itself.