Sets his theory of truth (against Alfred Tarski), where an object language can contain its own truth predicate.
Sets his theory of truth (against Alfred Tarski), where an object language can contain its own truth predicate.