... turns out that mathematics is actually neither complete nor decidable. We have Kurt Gödel to thank for that and Alan Turing for the undecidability aspect, which led to t...