աքսիոմների համակարգի անկախություն
Հայերեն
- ՄՀԱ՝ [ɑkʰsiɔmnɛɾi hɑmɑkɑɾɡi ɑŋkɑχutʰˈjun]
Ստուգաբանություն
խմբագրելԲացատրություն
- (փիլ․) եթե այս կամ այն դեդուկտիվ համակարգի հիմքում ընկած աքսիոմներից ոչ մեկն այդ համակարգի արտածման կանոններով արտածելի չէ մյուս աքսիոմներից, ապա աքսիոմների այդպիսի համակարգը կոչվում է անկախ
Աղբյուրներ
խմբագրել- Մ․Մ․ Ռոզենտալի, Փիլիսոփայական բառարան (Հայաստան), Երևան, 1975 — 468 էջ։