Рад встрече
А --> (Х --> А) (аксиома Фреге)
по русски это значит,что любую аксиому А можно превратить в теорему,
исходя из аксиомы Х........
Итак, жду превращения А в теорему. Надеюсь, речь не идёт о жульничестве. Предложении аксиомы эквивалентной А.
Незнайка
| 13 янв 16:07 | maks | О Незнайкиной универсальной семантике (перенос) |
| 14 янв 10:46 | Незнайка | О Незнайкиной универсальной семантике (перенос) |
| 15 янв 19:37 | maks | О Незнайкиной универсальной семантике (перенос) |
| 17 янв 08:43 | Незнайка | О Незнайкиной универсальной семантике (перенос) |
| 17 янв 15:34 | maks | О Незнайкиной универсальной семантике (перенос) |
| 17 янв 17:10 | Репортерша | О Незнайкиной универсальной семантике (перенос) |
| 17 янв 17:57 | maks | О Незнайкиной универсальной семантике (перенос) |
| 17 янв 16:35 | Незнайка | О Незнайкиной универсальной семантике (перенос) |
| 13 янв 16:04 | Джек Из Тени | О Незнайкиной универсальной семантике (перенос) |
| 13 янв 16:14 | maks | О Незнайкиной универсальной семантике (перенос) |
|
Ворота - Площадь - Библиотека - Колодец - Колокольня - Таверна - Круглый Стол - Джихад - Карта - Поиск - Симфония - Новости | ||
| Дерево сообщений | Список заголовков | Одной страницей |