Логика математики⁠⁠

Хммм, тут же так легко... давайте сделаем сложнее!