You can, however, restrict the type of thing that is a real number line using axioms. :)
Ik denk dat je zou kunnen zeggen dat de serie echt is. •••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••