"15" is an isomorphism of 15, so why shouldn't "15" == 15?
Name:
Anonymous2015-03-23 7:18
>>8 Types were a shitty hack invented in a failed effort to sew set theory's gaping anus back shut, and they couldn't even accomplish that without further infinite subtyping bullshite. Isn't it time to set aside Russell's Jewish set theory and embrace category theory?