完全 かんぜん せい定理 ていりであれば
fukanzen sei teirideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 不完全性定理

1. If incompleteness theorems; Were true; If the incompleteness theorem held

Ba Conditional