>>468
strong replacement theorem と replacement theorem という定理は、
メタ理論において定理とみなされていて、
メタ理論において必要十分条件（同値）になっています。
しかし形式体系の中で、論理式として取り扱う際には、
strong replacement theorem から replacement theorem への
論理式の変形は可能ですが、逆への変形は不可能なのです。
つまり形式体系の中で strong だと主張しているのです。