Source: wikibot/bernays-schonfinkel-class

= Bernays–Schönfinkel class
{wiki=Bernays–Schönfinkel_class}