この「定式化」に際しては、ゲーデル数化のような人工的な符号化を用いてもよいし、適用しようとするSをもっと明快に表現するような定式化を用いても良い。
这个“形式化”可以用人工编码例如哥德尔数的方法实现，或者依照对于S的预期解释来进行形式化。