Обновить
0
0
Philip Korobko@Philkor

инженер-программист

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

Информация

В рейтинге
Не участвует
Откуда
Минск, Минская обл., Беларусь
Дата рождения
Зарегистрирован
Активность