Теоремы (обратные и противоположные)

[Portnov]

Всем, у кого остались вопросы по теме: почитайте Х.Карри «Основания математической логики». Если мозги не вынесет, то всё по местам расставит.

[Aleksandrito]

Впрочем нет всё - таки неверна