Source: /wikibot/peano-russell-notation

= Peano–Russell notation
{wiki=Peano–Russell_notation}