公理 こうり けいなら
kō rikeinara

Noun
Da Copula

The "-nara" conditional form ("if/when…") of 公理系

1. If axioms; When axioms

Nara Conditional