統一的・包括的な論理体系を提供しただけでなく、フレーゲの計算は古典的な多重普遍性問題をも解決した。「全ての女の子が男の子にキスをした」の曖昧さは伝統的論理学では表現困難だが、フレーゲの論理学ならばこれを量化子の射程の違いによって捉えることができる。そのため
は、そこにいる全ての女の子に対応してキスをした相手である男の子(皆がそうする)が存在することを意味する。対して
は、何らかの特定の少年がいて彼に全ての女の子がキスをしたことを意味する。このような道具立てがなければ論理主義の計画はあやふやであったり不可能であっただろう。これを使うことでフレーゲは祖先関係、多対一関係、数学的帰納法の定義を与えた。
メタ数学の時代.
証明論においては、ゲルハルト・ゲンツェンが自然演繹とシークエント計算という概念を発達させた。自然演繹とは論理的推論を、それが実践の中で「自然に」起き、直観論理に最も容易に適用できるものであるように造形しようとする試みであり、シークエント計算は任意の形式的体系において論理的証明の導出を定式化するために構築される。ゲンツェンの著作以降、自然演繹とシークエント計算は証明論、数学的論理学、計算機科学といった分野に広く適用されてきた。また、ゲンツェンは正規化定理とカット除去定理を証明したが、これは論理的証明を正規の形式に還元するのに使われるもので直観論理及び古典論理に呈してなされた。
戦後論理学.
北嶋南五
東京時代の南五は、同郷の石井露月の知己を得て俳句の世界に親しみ、正岡子規の主宰する日本派の句会に出入りしているうちに河東碧梧桐とも昵懇の仲になった。
没後編まれた『南五句集』の装丁と挿絵は、同郷で親交のあった日本画家館岡栗山の手による。
南五主宰の句会が開かれていた北嶋家別荘「春及庵」跡地には、南五の句碑、露月と碧梧桐の句碑が並んで建っている。
渡辺銀雨
経歴.
すずむし吟社.
すずむし吟社（すずむしぎんしゃ）は、秋田県五城目町の川柳団体である。会誌として雑誌『川柳すずむし』を発行している。
内モンゴル人民革命党
内モンゴル人民革命党（うちモンゴルじんみんかくめいとう、、、、中国語の略称は内人党）は、かつて存在した内モンゴルの政党。
年譜.
内モンゴル人民革命党は、モンゴル人の民族自決、社会主義、封建制度の廃止、宗教勢力の特権廃止などを提唱した。