Source: wikibot/peano-russell-notation

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