古典論理とか直観主義論理とか色々ありすぎて訳分からんが頑張っとるわ