06月21日に、Akitaka HOSOMIさんが「FREEトーキング」に書いた、 記事番号 00127、題名「Re: 限定的負帰還型証明法」の記事をキャンセルします。
以下の欄にこの記事のキャンセルコードを入れてから キャンセルを実行して下さい。