Axiomatisierungen

English translations

1. 01

   axiomatizations