"Числовые системы. Основания алгебры и анализа" - читать интересную книгу автора (Феферман С.)