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