Skip to Content
axiom of substitution
  1. innsetningarfrumsenda, innsetningarfrumsetning, frumsenda um innsetningu, frumsetning um innsetningu
    = axiom of replacement


by Dr. Radut.