Source: /wikibot/frege-s-theorem

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