ПОЛНОТА АКСИОМАТИЧЕСКОЙ ТЕОРИИ

требование, предъявляемое к аксиоматически построенным теориям, заключающееся в том, что в данной системе должны быть доказаны (т. е. выведены из аксиом) все истинные предложения теории. В связи с р