HomeConnexive Arithmetic Formulated Relevantly

Connexive arithmetic formulated appropriately