直感主義、論理主義、形式主義について詳しく教えて頂けませんか?