(Q125052756)

English

axiom schema of unrestricted comprehension

No description defined

Statements

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit