På reala linien åter vorematematikens