Different formal systems (Turing machines, lambda calculus, recursion theory) prove equivalent, yet ...
This proposition has not been edited since the history system was added.