手机版
公理スキーマ
【こうりすきーま】
【kourisuki-ma】
公理格式
公理スキーマ
【こうりすきーま】
【kourisuki-ma】
公理模式