13/10/19 13:35:37.66
>>337
それって判定方法を示して用語を定義するやり方ですよね。
その場合いつか終わる判定方法じゃないとだめじゃないですか？
構成できればその瞬間に無矛盾であることはわかる。
いつまでたっても構成できれなければ判定は（一般には）永久に下せない。
13/10/19 13:35:37.66
>>337
それって判定方法を示して用語を定義するやり方ですよね。
その場合いつか終わる判定方法じゃないとだめじゃないですか？
構成できればその瞬間に無矛盾であることはわかる。
いつまでたっても構成できれなければ判定は（一般には）永久に下せない。