Combinatory Illogic

Combinatory Illogic


Ix=x ∴ I am the pope.
Ix=9 and x=10
∴ 9 == 10
∴ 1 == 1
And now follow Betrand Russell's argument.

chris at CombinatoryIllogic.com