Sa 21 Ich überlege weiter über extensib. Ich beschließe, schon in § 2 zu sagen, dass die basic Sprache für IL eine abzählbare Menge von Individuen hat; in § 6 führe ich ein , hinter R6-1: D6-6 definiert durch extensib., und R6-2 (Regel für extensib.)
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.
