公理スキーマ

【こうりすきーま】

公理スキーマ

读成： こうりすきーま
中文： 公理格式、公理模式