Curry's paradox (source code)

= Curry's paradox
{wiki=Curry's_paradox}