Kọ àyọkà kúkúrú nípa àkòrí tó wà nísàlẹ̀ yìí:  Ẹnìkan X ń béèrè ìbéèrè lórí àléébù kan
Dájúdájú, ìpínrọ̀ kúkúrú kan rèé: Jacobe ń ṣe iyèméjì nípa ìlànà kan nítorí pé Jacobe fẹ́ wá àléébù kan nínú ọ̀nà tí a gbà ń lo ìlànà náà. Jacobe gbàgbọ́ wípé ó lè jẹ́ ọ̀nà tí ó dára jù láti lo axiom náà, tàbí wípé axiom náà lè máà wúlò nínú gbogbo ipò.