задал первый вопрос на кворе (два)

[juan_gandhi]

What is Hurkens' paradox? 

Comments

Re: Геометрия трёхмерна

[juan_gandhi]

Отрицание X - это X => false, так годится? Я не вижу, как это можно более общо выразить.