完全 かんぜん せい定理 ていりだったら
fukanzen sei teiridattara

Noun
Da Copula

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

1. If incompleteness theorem; Were incompleteness theorem

Tara Conditional