いったんできるだけ を使わないように書き直します。これが意味があるかどうかはもう少し進めてみないとわかりません。 自然数の帰納的表記 を集合、、 とし、 は (N1)「 が 、 を満たすならば 」であるとします。 となるので が を満たすとすると、 の順序…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。