外延的論理学
【がいえんてきろんりがく】
【gaientekironrigaku】
扩充逻辑