В формальной логике с... «Карантин. Рассказы»
robot5 октября 2014В формальной логике с помощью несовместной системы аксиом можно обосновать все что угодно. Имея единственное противоречие типа "А не есть А", ты можешь вывести из него любые следствия, какие пожелаешь.
2 понравилось
189