Skip to Content
Setjið inn leitarorð eða tilgreinið leitarskilyrði með reglulegri segð.

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