"Gödel’s incompleteness theorems apply not only to AI, but to any ethical reasoning framed within a formal system." - no mathematician ever