遺伝的集合とPeano算術
遺伝的集合
は
Peano算術
に近い,
というよr,事実として,
Peano算術
と定義的に同値であることが知られている
Finite sets and Gödel's incompleteness theorems
のSect 10参照