axiom

⇧[2]

sann

↑

PRIM

axiom (nn)

[korpus]

⇩ 3

PRIM axiomatisera axiomatisk parallell parallellaxiomet

↓

*