Predicativist analysis quantifies over real numbers and function spaces whose existence is not warra...