Alfred Tarski: Ìtàn àtúnyẹ̀wò
Àṣàyàn ìyàtọ̀: ẹ fagi sínú àpótí àwọn átúnyẹ̀wò tí ẹ fẹ́ ṣàfiwè, lẹ́yìn náà ẹ tẹ enter tàbí bọ́tìnì ìsàlẹ̀.
Àlàyé: (lọ́wọ́) = ìyàtọ̀ sí àtúnyẹ̀wò tìsinyìí, (tẹ́lẹ̀) = ìyàtọ̀ sí àtúnyẹ̀wò tókọjá, k = àtúnṣe kékeré.
Àṣàyàn ìyàtọ̀: ẹ fagi sínú àpótí àwọn átúnyẹ̀wò tí ẹ fẹ́ ṣàfiwè, lẹ́yìn náà ẹ tẹ enter tàbí bọ́tìnì ìsàlẹ̀.
Àlàyé: (lọ́wọ́) = ìyàtọ̀ sí àtúnyẹ̀wò tìsinyìí, (tẹ́lẹ̀) = ìyàtọ̀ sí àtúnyẹ̀wò tókọjá, k = àtúnṣe kékeré.