Полнота И Непротиворечивость Аксиоматической Теории Определения