Show all pages that mention first-order classes
Trace: • boolean_semigroups • commutative_lattice-ordered_monoids • fields • first-order_classes