Source: wikibot/kleene-rosser-paradox

= Kleene–Rosser paradox
{wiki=Kleene–Rosser_paradox}