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