АКСИОМЫ

— множество исходных положений теории, постулатов, законов, принципов, общих суждений о свойствах и отношениях ее базовых или производных абстрактных объектов. В рамках конкретной теории истинность ее аксиом принимается всегда конвенционально, условно, предположительно (как бы «в кредит»). Аксиомы большинства теорий являются синтетическими, фактуальными высказываниями (аксиомы естественно-научных, социально-гуманитарных и технических теорий). К ним предъявляются следующие методологические требования: 1) логическая независимость друг от друга (т. е. невозможность логического выведения любой аксиомы из остальных аксиом данной теории); 2) непротиворечивость (как каждой из аксиом, так и в отношениях между ними); 3) полнота (множество аксиом теории должно быть достаточным основанием для построения (в частности, логического выведения из них) всего остального множества истинных утверждений данной теории о свойствах, отношениях и законах некоторой фиксированной области ее объектов. Особо важное значение соблюдение этих требований для аксиом имеет при исследовании структуры математических и логических теорий. Эти исследования осуществляются в рамках соответствующих металогических (металогика) или метаматематических теорий (метаматематика). (См. теория, доказательство, метаматематика).