In normal life higher dimensions smack of science fiction, but in mathematics they are nothing out of the ordinary.
Introducing an indispensable tool of mathematical logic.