Учили нас по книге «Новиков П. С. Элементы математической логики. — М.: Наука, 1973. — 400 с.» В ней приведена система аксиом, и она избыточная на сколько я помню. Известно, что системы аксиом могут быть разными, вот только вопрос: какая из них является более «красивой» или удобной для доказательства истинности высказывания?
очень НУЖЕН ОТВЕТ на этот комментарий. Учусь в 3-м классе и хочу внимания ;(