論理学をつくる
って本によるとそれは簡単には説明できない問題らしい・・・