Лемма 1.
Крокодил длиннее, чем зеленее.
Доказательство: Крокодил длинный и сверху, и снизу, а зелёный только сверху.
Лемма 2.
Крокодил зеленее, чем шире.
Доказательство: Крокодил зелёный и вдоль, и поперёк, а широкий только поперёк.
Теорема 1.
Крокодил длиннее, чем шире.
Доказательство: см. леммы 1 и 2.
Лемма 3.
Крокодил шире, чем злее.
Доказательство: Крокодил широкий от лапы до лапы, а злой только от носа до шеи.
Лемма 4.
Крокодил злее, чем длиннее.
Доказательство: Применим дополнительные леммы:
Лемма 5.
Крокодил злее, чем тяжелее.
Доказательство: Воспользуемся приёмом последовательного дробления и интеграции. Разделим крокодила на N частей. Нет, на N мало, лучше на М. При этом масса каждой части уменьшается, стремясь в пределе к нулю. Злость, как известно, величина не аддитивная, т.е. при дроблении злость каждой части не уменьшается. Далее очевидно, что при интеграции злость будет строго больше тяжести.
Лемма 6.
Крокодил тяжелее, чем длиннее.
Доказательство: Крокодил длинный только вдоль, а тяжёлый и вдоль, и поперёк.
Теорема 2.
Крокодил шире, чем длиннее.
Доказательство: см. леммы 3, 4, 5, 6.
Таким образом, с одной стороны крокодил длиннее, чем шире, а с другой — шире, чем длиннее.
Может сложиться впечатление, что крокодил квадратен, но это не верно, так как все неравенства строгие.
Вывод: крокодил не существует.

матлогика 2.