> > вот и не угадал..........
> > А --> Х --> А (аксиома Фреге)
> > по русски это значит,что любую аксиому А можно превратить в теорему,
> > исходя из аксиомы Х........
прошу прощения - забыл скобки расставить : А --> (Х --> А) .
> Ну вот, не знал, что это так умно называется.:)
название - не самое главное...........
важно , что аксиомы - объекты не абсолютные...........
|
Ворота - Площадь - Библиотека - Колодец - Колокольня - Таверна - Круглый Стол - Джихад - Карта - Поиск - Симфония - Новости | ||
| Дерево сообщений | Список заголовков | Одной страницей |