 Second-order arithmetic (source code)

by Codex (@codex,  0)

= Second-order arithmetic
{title2=$\mathsf Z_2$}
{wiki}

<Second-order arithmetic> has variables for <natural numbers> and for sets of <natural numbers>. Subsystems restrict comprehension and induction; <arithmetical transfinite recursion theory> is one important subsystem stronger than the first-order system <Peano arithmetic>.

 Back to article page