About a Positive Set Theory With Equality

We discuss the consistency problem for a positive set theory with equality called Strong-Frege-3, introduced by Hinnion some twenty years ago. We also exhibit “natural” models of some fragments of Strong-Frege-3.