A reduction of the axioms for the theory of prepositional types P. Andrews — 1963 Fundamenta Mathematicae