Classical mathematics relies on impredicative definitions (e.g., least upper bounds) that are mathem...
This proposition has not been edited since the history system was added.