一階論理
【いっかいろんり】
【ikkaironri】
一阶逻辑