非論理的公理
【ひろんりてきこうり】
【hironritekikouri】
非逻辑公理