記号の有限系列で表現できない論理体系
「広義直観主義論理」