ERRATA FIRST EDITION:

Page 108: Definition of predicates and power type is not correct.

Page 115: Mere propositions are empty or equivalent to a point, but not equal.

The reference [Mueller-Stach2025] concerning Emmy Noether is unlikely to appear ever, but is available at the author's homepage.

Thanks to Carl-Heinz Barner and Andreas Rüdinger.