Axiom of Reducibility

Any Propositonal Function can be expressed as a formally equivalent Predicate Function