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