直観主義論理でも成り立つ