公理 こうり けいだったら
kō rikeidattara

Noun
Da Copula

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

1. If the axiomatic system...; When the axiomatic system...

Tara Conditional