Analiza niestandardowa
W matematyce, z jaką spotykamy się w szkole i na uniwersytecie, linię prostą identyfikuje się ze zbiorem punktów, w którym współrzędnymi są liczby rzeczywiste. Istnieje jednakże argument przeciw takiemu konkretnemu utożsamieniu, który opiera się na tym, iż nieskończenie wiele własności linii prostej nie może być ani dowiedzionych, ani obalonych za pomocą aksjomatów używanych w teorii mnogości (tzw. aksjomatów Zermelo–Fraenkla).