News for hackers. Stuff that matters.

A comment on Exploring the Peano Axioms Through Algebraic Data Types. Parent comment

Re:Exploring the Peano Axioms Through Algebraic Data Types by traderjane on Tuesday January 15, 2019 @02:55AM (#18909464)
I thought that the recursively enumerable structure was given by the Axiom of Induction.
[ Parent | on HN ]

There are no comments on this comment yet.