Logic
Truth
Is it possible to employ a truth predicate or truth set (set of all true propositions) in ordinary first order logic?
Accepted:July 16, 2016
Accepted:
July 16, 2016