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