გოდელის არასრულობის თეორემები: განსხვავება გადახედვებს შორის
| [შეუმოწმებელი ვერსია] | [შეუმოწმებელი ვერსია] |
შიგთავსი ამოიშალა შიგთავსი დაემატა
No edit summary |
|||
ხაზი 4:
ნებისმიერი [[თავსებადი]] ფორმალური თეორიისათვის, რომელიც შეიცავს ''ძირითად არითმეტიკულ ჭეშმარიტებებს'' შეიძლება აიგოს არითმეტიკულ ფორმულა ''F'' ისეთი რომ არც ''F'' და არც "არა ''F''" არ არის მოცემული თეორიის თეორემა (ე.ი. არ არის დამტკიცებადი მოცემულ ფორმალურ თეორიაში).
სხვა სიტყვებით ნებისმიერი
== გოდელის არასრულობის მეორე თეორემა ==
| |||