აქსიომათა სისტემის დამოუკიდებლობა

NPLG Wiki Dictionaries გვერდიდან
გადასვლა: ნავიგაცია, ძიება

აქსიომათა სისტემის დამოუკიდებლობა – მოცემული აქსიომატური თეორიის აქსიომათა სისტემის თვისება, რაც იმაში მდგომარეობს, რომ ყოველი აქსიომა არის დამოუკიდებელი, ე. ი. არ წარმოადგენს ამ თეორიის დანარჩენ აქსიომათა შედეგს.

მოცემულ აქსიომათა თეორიის ამა თუ იმ აქსიომის დამოუკიდებლობა ნიშნავს, რომ ეს აქსიომა წინააღმდეგობის გარეშე შეიძლება შევცვალოთ მისი უარყოფით. სხვა სიტყვებით, აქსიომა დამოუკიდებელია მაშინ და მხოლოდ მაშინ, თუ არსებობს ინტერპრეტაცია, რომლის დროსაც ეს აქსიომა მცდარია, ხოლო მოცემული თეორიის ყველა დანარჩენი აქსიომა ჭეშმარიტია.

აქსიომათა სისტემის დამოუკიდებლობა თავის თავად არ წარმოადგენს აქსიომათა თეორიის აუცილებელ თვისებას. ის მხოლოდ ადასტურებს იმას, რომ თეორიის ამოსავალ დებულებათა ერთობლიობა არ არის მოჭარბებული და წარმოადგენს ტექნიკურად გარკვეულად მოსახერხებელს.


წყარო

მათემატიკის ენციკლოპედიური ლექსიკონი

მოძიებულია „https://www.nplg.gov.ge/wikidict/index.php?title=%E1%83%90%E1%83%A5%E1%83%A1%E1%83%98%E1%83%9D%E1%83%9B%E1%83%90%E1%83%97%E1%83%90_%E1%83%A1%E1%83%98%E1%83%A1%E1%83%A2%E1%83%94%E1%83%9B%E1%83%98%E1%83%A1_%E1%83%93%E1%83%90%E1%83%9B%E1%83%9D%E1%83%A3%E1%83%99%E1%83%98%E1%83%93%E1%83%94%E1%83%91%E1%83%9A%E1%83%9D%E1%83%91%E1%83%90&oldid=202707“-დან
პირადი ხელსაწყოები
სახელთა სივრცე

ვარიანტები
მოქმედებები
ნავიგაცია
ხელსაწყოები