Search

Email Record: A formalization of Wittgenstein's definition of natural numbers