Logic and arithmetic: natural numbers | lit.salon