ვიკიპედია

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

ისტორიის ინტერაქციულად გადახედვა
[შეუმოწმებელი ვერსია][შეუმოწმებელი ვერსია]
← წინა ცვლილებაშემდეგი ცვლილება →
შიგთავსი ამოიშალა შიგთავსი დაემატა
ვიზუალურივიკიტექსტი
No edit summary
No edit summary
ხაზი 9:
 
'''გოდელის არასრულობის მეორე თეორემა''':
ნებისმიერი საკმარისად მდიდარ ფორმალური თეორიაში თეორემა ამავე თეორიის თავსებადობის შესახებ დამტკიცებადია, მაშინ და მხოლოდ მაშინ როცა ეს თეორია არათავსებადია.</math>
მოძიებულია „https://ka.wikipedia.org/wiki/გოდელის_არასრულობის_თეორემები“-დან