"Mathematical interpretation of formal systems" - читать интересную книгу автора (Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al.)