R Dedekind 1872 cut-construction-of-reals; modern modern foundational-text + reverse-mathematics + descriptive-set-theory.