redmary41 redmary41 23-05-2023 Mathematics contestada What is the meaning of "we shall use in formulas other symbols, namely defined predicates, operations, and constants, and even use formulas informally"?