Seol mar théacs é seo: Ein System von unabhängigen Axiomen für Halbgruppen mit eindeutigen Halbprimfaktorzerlegungen /