А. м. подвержен также критике, исходящей из различных семантических (см. Логическая семантика) критериев. Так, интуиционисты (Л. Э. Я. Брауэр, Г. Вейльи др.) не признают обоснованности в применении к бесконечным множествам принципа исключенного третьего (см. Исключённого третьего принцип) между тем этот принцип не только берётся в качестве логической аксиомы в большинстве формальных теорий, но и используется по существу (хотя и неявно) в основных предпосылках гильбертовской программы, согласно которой непротиворечивость теории — достаточное условие её «истинности». Как и интуиционизм, конструктивное направление в математике (в СССР — А. А. Марков и Н. А. Шанин) считает назначением математики изучение не произвольных моделей непротиворечивых формальных систем, а лишь совокупностей объектов, допускающих в определённом смысле эффективное построение.
Ещё более существенные возражения против А. м. выдвигает ультраинтуиционистская критика, ставящая под сомнение единственность натурального ряда чисел и, тем самым, однозначную определённость понятия теоремы формальной системы. Согласно этой критике, А. м. основан на «принципе локальности для доказательств», предполагающем, что если аксиомы истинны и правила вывода сохраняют истинность, то истинными непременно должны быть и теоремы. Т. о., интуитивное обоснование общеупотребительного принципа математической индукции, согласно ультраинтуиционистской критике, содержит неустранимый порочный круг. Ультраинтуиционизм, не ограничиваясь критикой, предлагает и положительную программу преодоления указанных трудностей.
Лит.: Начала Евклида, пер. с греч., [т. 1 — 3], М. — Л., 1948 — 50; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (библ.); Новиков П. С., Элементы математической логики, М., 1959: Есенин-Вольпин А. С., Об аксиоматическом методе, «Вопросы философии», 1959, № 7; Садовский В. Н., Аксиоматич. метод построения науч. знания, в кн.: Филос. вопросы совр. формальной логики, М., 1962; Hilbert D., Bernays P., Grundlagen der Mathematik, Bd 1 — 2, В., 1934 — 39.
Ю. А. Гастев, А. С. Есенин-Вольпин.
Аксирис
Акси'рис (Axyris), род однолетних трав семейства маревых. Цветки мелкие, невзрачные, однополые; растения однодомные. 7 видов в Европе и Азии; из них в СССР — 5. А. щирицевый (А. amaranthoides) растет по дорогам, мусорным местам, засоряет яровые и озимые посевы в лесостепной и южной части лесной зоны от Тихого океана до Урала. В СССР против распространения А. принимаются карантинные меры.
Аксис
А'ксис (Cervus axis), млекопитающее семейства оленей. Длина тела до 150 см, высота до 100 см, весит до 40 кг. Окраска красновато-рыжая с многочисленными белыми пятнами. У самцов рога длиной до 100 см, на каждом роге не больше трёх отростков; самки безрогие. Встречается в Индии и на Цейлоне. Обитает в светлых лесах и на травянистых полянах, обычно вблизи воды. Численность невелика; местами истреблен. Стадное животное. Ведёт дневной образ жизни. Питается травой, реже листьями и плодами кустарников и деревьев. Самки рождают обычно 1—2 детёнышей, которых вынашивают 7—8 мес.
Илл. к ст. Аксис.
Аксолотль
Аксоло'тль (ацтек.), личинка хвостатого земноводного — тигровой амбистомы, способная к размножению (см. Неотения). А. используется для экспериментальных работ по биологии.
Аксон
Аксо'н (от греч. áxōn — ось), нейрит, осевой цилиндр, отросток нервной клетки, по которому нервные импульсы идут от тела клетки к иннервируемым органам и др. нервным клеткам. От каждой нервной клетки (нейрона) отходит только один А. Питание и рост А. зависят от тела нейрона: при перерезке А. его периферическая часть отмирает, а центральная сохраняет жизнеспособность. При диаметре в несколько мкм длина А. может достигать у крупных животных 1 м и более (например, А., идущие от нейронов спинного мозга в конечности). У некоторых животных (например, кальмаров, рыб) встречаются гигантские А. толщиной в сотни мкм. В протоплазме А. — аксоплазме — имеются тончайшие волоконца — нейрофибриллы, а также митохондрии и эндоплазматическая сеть. В зависимости от того, покрыты ли А. миелиновой (мякотной) оболочкой или лишены её, они образуют мякотные или безмякотные нервные волокна. Структура оболочек и диаметр А., составляющих нервное волокно, — факторы, определяющие скорость передачи возбуждения по нерву. Концевые участки А. — терминали — ветвятся и контактируют с др. нервными, мышечными или железистыми клетками. Через эти контакты (синапсы) передаётся возбуждение. Нерв — это совокупность А.
Аксонометрия
Аксонометри'я (от греч. áxōn — ось и ...метрия), способ изображения предметов на чертеже при помощи параллельных проекций. Аксонометрические чертежи характеризуются большой наглядностью. Для построения аксонометрической проекции пространственной фигуры поступают следующим образом: выбирают 3 взаимно перпендикулярные оси OXYZ и масштабы длин на этих осях. Затем проектируют на плоскость чертежа данную фигуру и эти оси вместе с масштабами. Если X, Y, Z — длины 3 отрезков в фигуре, то аксонометрические проекции этих отрезков, параллельные аксонометрическим осям, будут иметь длины х, у, z. Отношения длин x/X = lx, y/Y = ly,z/Z =lz называются показателями искажения. Наиболее часто употребляется А., при которой lx:ly:lz = 1:1:1 (изометрия, рис. 1) и lx:ly:.lz = 1/2:1:1 (диметрия, рис. 2). См. Начертательная геометрия.
Рис. к ст. Аксонометрия. Слева — рис. 1., справа — рис. 2.
Аксон-рефлекс
Аксо'н-рефле'кс, рефлекторная реакция, осуществляемая, в отличие от истинного рефлекса, без участия центральных нервных механизмов. При А.-р. возбуждение, возникшее в периферическом нервном окончании, переходит в точке разветвления центростремительного волокна с одной ветви на другую, вызывая определённый физиологический эффект. Примером А.-р. может служить расширение периферических сосудов при раздражении кожи. Реакции типа А.-р. впервые наблюдал Н. М. Соковнин (1873) на мочевом пузыре кошки. В 1893 они были описаны английским физиологом Дж. Н. Ленгли, который дал им название А.-р.