Comments on: The Mathematization of Logic and the Axiomatization of Mathematics https://www.imo2018.org/the-mathematization-of-logic/ Mathematics Blog Mon, 29 Aug 2022 07:29:38 +0000 hourly 1 https://wordpress.org/?v=6.0.1