Loading post...

Existence properties for first-order number theory are all finitely checkable — Steemit