Ëåíèí íà îñåëêå ôîðìàëüíîé ëîãèêè

ßíèñ Ãðèììñ
(Þáèëåéíûé ñèëëîãèçì, 1970)

Âñå ëþäè ñìåðòíû.
Ëåíèí áåññìåðòåí.
Ñëåäîâàòåëüíî, Ëåíèí íå ÷åëîâåê.