Retrieved from http://red-ruby.com/wiki/wiki.php/페아노_산술,Peano_arithmetic