08/25/2021

…mathematics is simply the discipline par excellence that draws the conclusions logically implied by any given set of axioms or postulates.

— Ernest Nagel, James R. Newman, Douglas R. Hofstadter, Godel’s Proof