 the logic) beyond that of "Principia Mathematica" (PM), he observed that with respect to a "generalized" set of postulates (i.e.axioms), he would no longer be able to automatically invoke the notion of "contradiction" – such a notion might not be contained in the postulates