"Mathematical Interpretation of Formal Systems " - читать интересную книгу автора (Th. Skolem)