ゲーデル すうだったら
gēderu sūdattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of ゲーデル数

1. If it were a Gödel number; When it is a Gödel number

Tara Conditional
Mathematics