Second-order logic with standard semantics does capture uncountable reals; the limitation is first-o...
This proposition has not been edited since the history system was added.