Is it possible to employ a truth predicate or truth set (set of all true

Is it possible to employ a truth predicate or truth set (set of all true

Is it possible to employ a truth predicate or truth set (set of all true propositions) in ordinary first order logic?

Read another response by Stephen Maitzen
Read another response about Logic, Truth