02.12.2011 - By W. Blaine Dowler
Formally defining the counting numbers, as well as addition and multiplication