All variables are equal, but some are more equal than others.
This is a quote from George Orwell’s unpublished manuscript The Theory and Practice of Algebraic Collections. He eventually split it into two separate novels which did see print. The 2+2=5 stuff went into 1984 and the “some are more equal than others” went into Animal Farm.
If you can let letters mean whatever you want then there’s nothing to stop you from doing the same with numerals. Let 5≡S(S(S(S(0)))).
This is a quote from George Orwell’s unpublished manuscript The Theory and Practice of Algebraic Collections. He eventually split it into two separate novels which did see print. The 2+2=5 stuff went into 1984 and the “some are more equal than others” went into Animal Farm.
If you can let letters mean whatever you want then there’s nothing to stop you from doing the same with numerals. Let 5≡S(S(S(S(0)))).