Source: /wikibot/frege-system

= Frege system
{wiki=Frege_system}