直観観主義論理として妥当