mathswitch — infrastructure for relaying and exchanging mathematical concepts

axiomatic system for the natural numbers