パラドックスという言葉は、疑似パラドックスと二律背反の二種類の意味で使われるけど、
>>246の前段は疑似パラドックスの意味だよね。
中断のペアノ公理系のパラドックスって何のこと？