無から有を作るって意味じゃなくて、
Z80なコンピュータは80386なコンピュータを作れない。とか、そういったこと。
別の見方をすると、成長するコンピュータ(プログラム)は作れない。
ということになってしまうんだが…。

誰か知らないかなー。
元の命題やどのように証明したかとか。