Mark Dominus (陶敏修) mjd@pobox.com
About me
RSS Atom
12 recent entries
Archive:
Comments disabled
On the consistency of PA A monk asked Li Fu, "Master, how do we know that the Peano axioms are consistent?"
Li Fu said, "The axioms are consistent because they have a model."
[Other articles in category /math] permanent link