Re: Continuum hypothesis



On Aug 20, 11:54 am, Aatu Koskensilta <aatu.koskensi...@xxxxxxxxx>
wrote:
third-order arithmetic is stronger than second-order arithmetic.

What would third order arithmetic look like?


.