Skip to Content
axiom of subsets
  1. hlutmengjafrumsenda, hlutmengjafrumsetning, frumsenda um hlutmengi, frumsetning um hlutmengi
    = axiom of separation 1


by Dr. Radut.