Да, товарищ, Джон!
Кстати, выше я допустил описку, вместо: "Про логику: она логична, но рациональна", надо читать:
"Про логику: она логична, но не рациональна"... Но думаю, из контекста вы уже догадались об этом.
А насчет получения двух противоположных утверждений существует теорема Геделя, которая гласит:
"В любой замкнутой логической системе, мы рано или поздно получим прямо противоположные выводы об одном и том же объекте, т.е. придем к противоречию"...
Да, это хорошая гимнастика для ума и забавно.