Dendritic-Cells
发表于 2025-3-30 09:47:20
Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gder . Metasprache. (Analoges gilt für die später folgende Definition des Begriffs der synthetischen Konsistenzeigenschaft.) Da wir den Ausdruck ,Eigenschaft‘, wie immer, rein extensional verstehen, läuft in der nun folgenden Definition die Eigenschaftsvariable ,ℜ‘ über die Mengen von Formelmengen.
适宜
发表于 2025-3-30 15:15:17
Abstrakte Semantik: Semantische Strukturen und ihre Isomorphie-Artenen Materials zusammengestellt, das wir für den Beweis der beiden (in Kap. 15 behandelten) Sätze von L. benötigen. Dadurch wird der Inhalt dieses Kapitels zwangsläufig etwas heterogen und es gewinnt mehr oder weniger den Charakter eines „Nachschlageteils“.
惊惶
发表于 2025-3-30 18:23:47
Auszeichnung der Logik erster Stufe: Die Sätze von Lindströmor allem in der Tatsache, daß an der Formalisierung mathematischer Theorien, wie auch der Mengenlehre, interessierte Logiker immer häufiger versuchen, die betreffenden Theorien als Theorien erster Stufe zu rekonstruieren.
同义联想法
发表于 2025-3-31 00:29:35
als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verständliche Wunsch auf, ich möge "etwas Schriftliches verfassen", das man mit nach Hause nehmen könne. Hinzu kam schließlich noch das Wissen um didaktische Nachteile viele
COLON
发表于 2025-3-31 01:56:16
Vorbereitungenexplizit dargestellt werden soll. Darin liegt nichts Problematisches und insbesondere, trotz gegenteiliger Auffassungen., keinerlei „Zirkularität“; vielmehr kommt darin nur die Tatsache zur Geltung, daß man für die Darstellung und Beschreibung eines präzisen Instrumentes bereits ein ähnliches Instrument benötigt.
Celiac-Plexus
发表于 2025-3-31 09:07:05
Semantiken: Spielarten der denotationellen und nicht-denotationellen Semantikjekt, so wird dort der entsprechende Objektname durch Kursivdruck, also mittels, .‘, wiedergegeben. Dieses Verfahren hätte Konfusionen im Gefolge, würde man auch andere lateinische Symbole außer Namen kursiv drucken.