Analysis in a formal predicative set theory
scientific article