Send the following on WhatsApp
Continue to ChatThe development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules. - Kurt Gödel from https://whatsmyquote.com/quote/the-development-of-mathematics-towards-greater-precision-has-led-as-is-well-known-to-the-formalization-of