...tually neither complete nor decidable. We have Kurt Gödel to thank for that and Alan Turing for the undecidability aspect, which led to the birth of computer science. Turi...