>>456
直感主義論理、線型論理、オッカムの剃刀？、あと一つは何だろう。