3 ms·This is essentially Gödel's first incompleteness theorem.by coldacid 5y agoThis is essentially Gödel's first incompleteness theorem.