そのようなことをしてもせいぜい1000倍とか１万倍とかしか規模を拡大する
ことはできないだろう。さらに数世代に渡って証明を検証するということが
考えられる、代々証明に取り組んで１０世代前から取り組んだ検証がまもなく
終わろうとしている、、、、というような具合にだ。
　だが、やはり10＾100程度のところに限界があるに違いない。
全数検査しかないような問題であれば、10＾100はおろか10＾10000のような
問題であっても容易に作れる。
　このような有限行為の立場からは、命題とは何か、証明とは何か、という
疑問が沸いてくる。