20/04/19 00:37:12.23 oIEsM1e2.net
>>521
何か曖昧じゃないかって話よね。星さんが何でもありじゃないかと思った所以の一つじゃないかね
しかし、確かにIUTは「変形のやり方」を制限してるわけであって、デタラメではない
星さんももしかしたらIUTはまだ証明にならないと思ってるのかもしれない、そういう可能性はあるけど
自分のできる範囲で掘り下げてもいるな
20/04/19 00:37:12.23 oIEsM1e2.net
>>521
何か曖昧じゃないかって話よね。星さんが何でもありじゃないかと思った所以の一つじゃないかね
しかし、確かにIUTは「変形のやり方」を制限してるわけであって、デタラメではない
星さんももしかしたらIUTはまだ証明にならないと思ってるのかもしれない、そういう可能性はあるけど
自分のできる範囲で掘り下げてもいるな