CEVAP: Çıkarımın birinci adımı olarak, Ağrı Dağı ile Everest Dağı’ndan oluşan ve büyük yükleminin uygulandığı çokluğu ele alalım. Aksiyom 4a gereği Ağrı Dağı ve Everest Dağı’nın pay aldığı bir Büyüklük idea’sı vardır. Bu idea’ya Büyüklük1 diyelim. Aksiyom 2 gereği Büyüklük1, Ağrı Dağı ve Everest Dağı’ndan farklıdır. Çıkarımın ikinci adımı olarak, Ağrı Dağı ve Everest Dağı ve Büyüklük1’den oluşan ikinci çokluğu ele alalım. Aksiyom 5 gereği büyük genel terimi Büyüklük1 ideası’na uygulanır; dolayısıyla büyük genel terimi ikinci çokluğun bütün öğelerine uygulanır. Aksiyom 4a gereği Ağrı Dağı, Everest Dağı ve Büyüklük1 idea’sının pay aldığı bir Büyüklük ideası varolmalıdır. Bu idea’ya Büyüklük2 diyelim. Aksiyom 2 gereği Büyüklük2, Ağrı Dağı, Everest Dağı ve Büyüklük1’den farklıdır. Bu süreci devam ettirirsek, Büyüklük1, Büyüklük2, ..., Büyüklükn, ... gibi birbirinden farklı sonsuz sayıda Büyüklük ideaları ortaya çıkar. Dolayısıyla bir sonsuz gerileme sorunuyla karşılaşmış oluyoruz.