På reala linien åter vore matematikensställning