გოდელის არასრულობის თეორემები: განსხვავება გადახედვებს შორის

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