Truth predicate

From Free net encyclopedia