Заяц
Это набор аксиом, на котором построена большая часть современной математики. Если в них есть противоречие, то тогда можно было бы доказать произвольные результаты, тривиально.

Это было бы невероятно странно если там было бы противоречие, безумно странно.

Шутка в том что кто-то нашел противоречие и использует это чтобы публиковать статьи