Human ecology
Two proofs of 1+1=2

Axiom A1
A1 a(x,s(y))=s(a(x,y)) AXIOM



Links to other sites...
Created 16/8/99