Набор аксиом характеризует, как правило, исходные понятия не по отдельности, а в их совокупности – через объявление их связей между собой.
Философский подход опирается на некий первоначальный
набор аксиом, из которого путём умозаключений философ строит свою картину мира.
Что касается моих аналитических предпосылок, я отталкиваюсь примерно от следующего
набора аксиом.
На его долю остаётся хмуриться, вытягивать шеи, задавать вопросы и делать приблизительные выводы, исходя из готового
набора аксиом – вроде такой, например: за каждым богатым юнцом охотятся более рьяно, чем за куропаткой.
Любое, даже самое замысловатое учение, хитроумную концепцию можно относительно просто изложить в виде простого
набора аксиом и алгоритмов.
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: механист — это что-то нейтральное, положительное или отрицательное?
Примеры различных, но равносильных
наборов аксиом можно встретить в математической логике и евклидовой геометрии.
Набор аксиом называется непротиворечивым, если исходя из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание.
Формулируется теорема так: «Полного финитно описываемого
набора аксиом в арифметике не существует».
Например, в аксиоматической логике для определённой цели используют
набор аксиом с запрещением закона исключения третьего.
Для начала – прежде чем приступить к сложным и не всегда очевидным построениям – необходимо сформировать некий первичный штрих как простейший пункт отсчёта и уже на нём вырастить
набор аксиом, необходимых для дальнейших построений.
Присмотрелся и оказалось: в математике и физике система доказательств и решений складывается из небольшого
набора аксиом и базовых формул.