 This leads him next to introduce higher-order logic, and thence to a consideration of logical paradoxes and their resolution through Russell’s ramified theory of types; the axiom of reducibility is briefly discussed and adopted as a foundation for mathematics. The lecture protocol ends with the sentence: 