پیش‌نیازها نگره‌ی هنگرد

لم لیندنبائوم
برابر انگلیک (انگلیسی): Lindenbaum's lemma


تاربرگ‌های پیموده‌شده در این نشست: واکاوی انگارشیک گویایی ⟩ واکاوی گویاییگ-تاریخی فرااستواره گودل در گویایی سویی ⟩ A reduction in number of the postulates for C. I. Lewis' system of strict implication ⟩ ماشین خودکار ⟩ پژوهشهایی در بنیادهای نگره‌ی هنگرد، یک