Unrestricted choice over infinite sets violates the finite Church-Turing thesis that grounds constru...
This proposition has not been edited since the history system was added.