- 470 名前：368 mailto:sage [2011/03/19(土) 22:46:39.88 ]
- >>468
strong replacement theorem と replacement theorem という定理は、
メタ理論において定理とみなされていて、
メタ理論において必要十分条件（同値）になっています。
しかし形式体系の中で、論理式として取り扱う際には、
strong replacement theorem から replacement theorem への
論理式の変形は可能ですが、逆への変形は不可能なのです。
つまり形式体系の中で strong だと主張しているのです。
