3 ms·Godel's incompleteness theorem strikes again. At least, you can be sure that your models can be consistent.by _v7gu 3y agoGodel's incompleteness theorem strikes again. At least, you can be sure that your models can be consistent.