Аксиомы — это утверждения, которые принимаются как истинные без доказательств. Они являются основой для построения всей теории. Простыми словами, это базовые правила, которые мы не ставим под сомнение.
Пример аксиом:
Следствие — это утверждение, которое выводится из аксиом или ранее доказанных утверждений с помощью логических правил.