Many foundational truths (induction, recursion) can be expressed first-order within set theory; the ...
This proposition has not been edited since the history system was added.