аксиом
Существительное
Слово происходит от аксиомы
Анаграммы
Примеры
B6 и B7 позволяют сделать то, что в нашем случае делалось с помощью аксиом перестановок и ассоциативности.
NBG в отличие от ZFC и MK может быть конечно аксиоматизирована (конечным числом аксиом).
» в том смысле, что они очевидным образом следуют из определений, аксиом и других теорем и не содержат никаких удивительных идей.
Его единственная идея в то время состоит в том, что может быть возможно задать термин эффективной вычислимости как неопределенного понятия в виде набора аксиом, которые бы воплощали общепринятые свойства этого понятия и затем что-то делать на этой основе.
В противоположность элегантному, логически корректное доказательство, использующее трудоёмкие вычисления, сверхсложные методы, традиционные подходы, большое число аксиом или доказательств других теорем называют грубым или неуклюжим.
Аналогично для остальных видов аксиом.