Algebraic irrationals (like √2) satisfy polynomial equations enabling systematic calculation; lawles...
This proposition has not been edited since the history system was added.