直観論理
【ちょっかんろんり】
【chokkanronri】
直觉主义逻辑