公理 こうり けいであれば
kō rikeideareba

Noun
Da Copula

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

1. If axiomatic system; Assuming an axiomatic system; Given an axiomatic system

Ba Conditional