Jan Mycielski New Set-Theoretic Axioms Derived from a Lean Metamathematics. 191-198 1995 60 J. Symb. Log. 1 db/journals/jsyml/jsyml60.html#Mycielski95