Mo 28 An pr (Einfügung in früheren § 16. Das Analogieprinzip, obwohl unsicher, weil es den Schluss von \(\eta{}\)-Instanzen auf \(\lambda{}\)-Bedingung möglich machen würde.)
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.