Hrbacek showed IST axioms create categorical distinctions incompatible with epsilon-delta definition...
This proposition has not been edited since the history system was added.