Lower order axioms

martdowd at aol.com martdowd at aol.com
Tue Aug 3 20:57:25 EDT 2021

Anton Freund writes

Transfinite induction can
probably count as a natural axiom, but it is not quite as close to
mathematical practice. I would be very interested in further examples as
Regarding transfinite induction relevant to arithmetic,
  https://math.stackexchange.com/questions/305288/how-to-derive-church-kleene-ordinalhas some material of interest.  Section 11 of http://dx.doi.org/10.12732/ijpam.v93i5.7might also be of interest.

Martin Dowd

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210804/7ac3a87a/attachment-0001.html>

More information about the FOM mailing list