Source: wikibot/frege-s-theorem

= Frege's theorem
{wiki=Frege's_theorem}