Gödel's incompleteness theorem makes the notion of the "real world" as a consistent, complete mathematical system (or even modeling it as such) rather difficult, doesn't it?