Revenge, Field, and ZF

Abstract

This chapter deals with three interrelated issues What is the 'revenge' phenomenon? Let us start with a statement of the simple liar paradox. This concerns a statement,L, of the form F?L?, where F is the falsity predicate, and angle brackets indicate some name-forming device. If T is the truth predicate, then the T-scheme assures us that for any closed sentence,A: The meanings of these questions, and the connections between them, will become clear in due course.