Overclocked, Custom Fox@enkiv2 @nonphatic @a_breakin_glass When I lead people through constructing the naturals, I always like to include zero just so I have an additive identity. Having a multiplicative identity but not an additive one bugs me. And just feels like a nicer construction generally.
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.