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