Our ancestors around the turn of the 20th century put tremendous effort into formulating mathematics as an axiomatic system of thought. The art has since then offered to anyone who wished to cultivate it the luxury of laboratory conditions, free of the imperfections of the surrounding world. Many of the problems mathematicians have worked on since that time have of course been inspired by ”real-world” phenomena, but most results are formulated in a sterile environment, and anyone who wants to apply them rigorously must see to it that the necessary axioms are upheld.