こうりけい

公理系

表記・読み：こうりけい

1. 1

   axiomatic system

   名詞