Das Zurückschneiden durch Rangbetrachtung (oder Trunkierung durch Rangbetrachtung oder Lokalisierung durch Rangbetrachtung) ist eine in der Mengenlehre...

Tafel 10.) Genauer: nicht ohne Verwendung des sogenannten Zurückschneidens durch Rangbetrachtung von Alfred Tarski, das aber seinerseits das Vorhandensein...