Human ecology
Two proofs of 1+1=2
THEORY T6
T6
a(1,s(0))=s(1)
FROM T3 AND T5
THEORY T6 combines
THEORY T5
and
THEORY T3
THEORY T8
combines THEORY T6 and DEFINITION D7
Links to other sites...
Created 16/8/99