redmary41 redmary41 16-05-2023 Mathematics contestada What is the meaning of "an axiom of predicate calculus"?