>>213 何を？　検索ワードを？
>>214 ゲーデルコーディングで、でこれ以上無いほど完全に具体的かと
>>215 有限の立場＝PRA、と述べただけで、PRAについて皆様に説明する義務は負っておりませんが