Source: wikibot/takeuti-s-conjecture

= Takeuti's conjecture
{wiki=Takeuti's_conjecture}