Conversation
Notices
-
kat (kat@quitter.se)'s status on Saturday, 16-Sep-2017 19:56:46 EDT
kat
I feel the need to prove that Church numerals actually satisfy the Peano Axioms. Otherwise it's just a waste of time - just an appearance