>>396
公理的集合論やモデル理論の研究者で
ロジックをやったことがないといのは
結構あるぞ。