ゲーデル数化は一意ではなく、ゲーデル数を使った証明では様々な定義方法が存在する。形式数学への応用.これはゲーデルの用いたナンバリングにおいては真であり、符号化された論理式がそのゲーデル数から算術的に復元可能な他のナンバリング方式でも成り立つ。従って、ペアノの公理のような数とその間の算術的関係に関する文を作ることができる形式理論においては、ゲーデル数化を使えば間接的にその理論自体に関する文を作ることができる。このような技法によってゲーデルは形式体系の属性の無矛盾性と完全性に関する結果の証明を行った。一般化.計算可能性理論において、「ゲーデル数化」は上述よりさらに一般化した意味を持つ用語として使われる。ゲーデル数化という用語は、文字列としての「数」を割り当てる場合にも使われることがある。これは数というよりも文字列を操作する計算模型(チューリングマシンなど)に必須の考え方である。ゲーデル数化竹下百合子経歴.一方的行為ここでは、分権的性格を有する国際社会における法、すなわち国際法における一方的行為を述べる。国際法上の一方的行為.国際法委員会による法典化作業.その第一原則では、「公に拘束される意思を表明する宣言は法的義務を創設する効果を有する。この行為のための条件が充たされているとき、そのような宣言の拘束力は信義誠実に基礎づけられる。関係国はそれゆえ、それら宣言を考慮に入れることができ、信頼することができる。そのような国家は、その義務が遵守されるよう要求することができる」とする。そして、第三原則で、「そのような宣言の法的効果を決定するためには、その内容、それが行われたときの全ての事実的状況、それが起こした反応を考慮する必要がある」とする。「指導原則」はこのように、一方的宣言が拘束力を有する条件として、内容、状況、反応という条件を列挙しているが、いかにしてそれらが実現すれば拘束力を有するのかという実現手段についてなんら言及していない、という批判もある。一方的(国内)措置の対抗力.