Gödel demonstrated that any non-contradictory formal system, which was comprehensive enough to include at least arithmetic, cannot demonstrate its completeness by way of its own axioms.
Гедел покажал дека секој не-контрадикторен формален систем кој би бил доволно сеопфатен за да вклучи барем аритметика, не може сам да ја покаже својата комплетност со своите аксиоми.