公理 こうり けいです
kō rikeidesu

Noun
Desu Copula

The polite form of 公理系

1. Formal system.; Axiomatic system.

Polite