>>456
どういう意味だよ。現実に書けるだろ。

レスそれ自体は要求した事を行わなければ、
要求を満たす事はできないっていう言葉遊びだ。
無理な前提を想定して適用してるのだから無理に決まってる。

プログラムの実行を考えない実用性を含むなら、
定理証明支援系という使い道もあるから間違い。