پاولو ایردوس برای مفهوم "کتاب" فرضی دارنده ظریف‌ترین یا زیباترین شواهد ریاضیکی بود، خوب مشهور بود.