>>384
あなたが論理の形式化に興味がなければ必要ないです