>>620
一般に非構成的な存在定理あるところ数理論理学が絡んでくる