On a positive set theory with inequality

We introduce a quite natural Frege‐style set theory, which we call Strong‐Frege‐2 $(mathsf {SF}_2)$, a sort of simplification of the theory considered in 13 (under the name Strong‐Frege‐3) and 1 (under the name F2). We give a model of a weaker variant of $mathsf {SF}_2$, called $mathsf {SF}_2mathsf {AC}$, where atoms and coatoms are allowed. To construct the model we use an enumeration “almost without repetitions” of the Π¹₁ sets of natural numbers; such an enumeration can be obtained via a classical priority argument much in the style of 5 and 15 . © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim