> It boggles my mind that we ever thought a small amount of text that fits comfortably on a napkin (the axioms of ZFC) would ever be “good enough” to capture the arithmetic truths or approximate those aspects of physical reality that are primarily relevant to the endeavors of humanity.
ZFC is way overpowered for that. https://mathoverflow.net/questions/39452/status-of-harvey-fr...