"1-Consistency and faithful interpretations" - читать интересную книгу автора (Feferman S., Kreisel G., Orey S.)