>>27
数理論理学は傍流だからなぁ