"Les fondements des mathématiques, intuitionnisme, théorie de la démonstration" - читать интересную книгу автора (Arend Heyting)