"Truth Definitions, Skolem Functions and Axiomatic Set Theory" - читать интересную книгу автора (Hintikka Jaakko)