Gödel numbering
ゲーデル数化により、論理式に関する様々な性質を論理式として表すことができる。たとえば、