一個正整數函數 F，可判定一正整數 n 其為式 C 之哥德爾表示，式 C 是否具有標準式，是不可遞迴的。