Аксиома

• Аксиома — это утверждение, которое считается истинным и служит предпосылкой для дальнейших рассуждений и аргументов. 
• В классической философии аксиома — это утверждение, которое принимается без возражений или вопросов. 
• В современной логике аксиома — это предпосылка или отправная точка для рассуждения. 
• В математике аксиома может быть «логической аксиомой» или «нелогической аксиомой». 
• Логические аксиомы считаются истинными в рамках системы логики, которую они определяют. 
• Нелогичные аксиомы являются существенными утверждениями об элементах области конкретной математической теории. 
• Аксиоматизация системы знаний — это показать, что ее утверждения могут быть выведены из небольшого, хорошо понятного набора предложений. 
• Вопрос о том, имеет ли смысл считать аксиому «истинной», является предметом дискуссий в философии математики. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.