"Hermann Weyl’s 1918 text Das Kontinuum... investigates how much of the mathematical corpus can be retained if we restrict ourselves to predicative definitions and methods of proof. He presents a foundational system in which it is impossible to perform an impredicative definition. ...It is an excellent example of a fully developed non-mainstream foundational system for mathematics."