手机版
直観主義論理
【ちょっかんしゅぎろんり】
【chokkansyugironri】
直觉主义逻辑