О Незнайкиной универсальной семантике (перенос)

maks

13 января CE 2005 16:07

В ответ на О Незнайкиной универсальной семантике (перенос) (Незнайка, 13 января CE 2005 15:29)

> Рад встрече
>
> > > > вношу исправление : A-->(X-->A).
> > >
> > > Я видел это исправление
> > >
> > > Незнайка
> >
> > а к исправленному какие претензии ?
>
> Никаких претензий. Но только твое исходное утверждение неверно, даже если ты правильно запишешь все аксиомы.
>
> Незнайка

недопонял.........
"никаких претензий" и "неверно,даже если правильно" равносильные утверждения ?