mathswitch — infrastructure for relaying and exchanging mathematical concepts
axiomatic system for the natural numbers