Text this: Ein System von unabhängigen Axiomen für Halbgruppen mit eindeutigen Halbprimfaktorzerlegungen /