"A gyökkettő létezik (legalábbis mint koncepció), de végtelen hosszú ideig tart felsorolni a számjegyeit. Megegyezhetünk ebben?"

A gyökkettő az a nem negatív valós szám, melynek négyzete a kettő. Ezt a számot így lehet definiálni, a definícióhoz elég volt véges sok szó, vagy írásjel. Egy átlagos tudású érettségiző percek alatt be tudja bizonyítani, hogy ez a szám nem racionális. Aki szeretné a gyökkettőt tizedestört alakban meghatározni, közelítést végez mindaddig, míg a tizedesvessző utáni jegyek száma véges.

A matematikai fogalmak absztrakció útján jönnek létre. Ha valaki konstruál egy definíciót, azzal a fogalom létrejött, felesleges erőlködés annak materializálható megfelelőjét felkutatni.