Fun apere awon iye R3 je nomba gidi meta ti won tokasi ipo kookan ninu aaye elegbe meta (3 dimension)IsetumoAmuwa lati inu awon nomba oniipin A le mu nomba gidi wa gege bi akotan awon nomba oniipin ni ona to je pe itentele nomba kan se fesiwaju pelu nombamewa tabi nombameji (binary) bayi {3, 3.1, 3.14, 3.141, 3.1415,...} f'enuko si nomba pato gidi kan.Agbagbo (Axiom) E je ki R ki o duro fun akojopo gbogbo nomba gidi.. 
Ṣùgbọ́n baba rẹ̀ fún un ní ìdá kan - Idà àjàṣẹ́gun ni, ó ní kí ó máa lé àwọn ẹ̀gbọ́n rẹ̀ lọ pe ibikíbi tí ó bá bá wọn, kí ó béèrè ohun ìní tirẹ̀ lọ́wọ́ wọn.. 