"But of course it's sound to assume many silly things. But why assume those things?" This goes to the parent comment's point about real numbers though. It's si

"But of course it's sound to assume many silly things. But why assume those things?" This goes to the parent comment's point about real numbers though. It's silly to assume unwritable real numbers. Why do we do so?