аксиоматика толықтығы

Сала: Информатика және есептеуіш техника

Ағылшыншасы : completeness of axiomatization

аксиоматика

аксиоматика аксиом+ат+ик+а

Анықтама

[өзгерту]
Полнота аксиоматики - бұл аксиомалардың толық жиынтығы, яғни теорияның барлық қажетті аксиомаларын қамтуы.