Human ecology
Two proofs of 1+1=2
Axiom A1
A1
a(x,s(y))=s(a(x,y))
AXIOM
THEORY T2
is a special case of AXIOM A1
Links to other sites...
Created 16/8/99