ネルソンが指摘するように、ist内の推論における誤りは「非合法な集合構成」によるものである。