そういえば、定義可能なクラス関数が初等埋め込みであるというのはZFCの論理式では書けないんですよね。正確に言えば、集合論の言語では。にもかかわらず、集合論の議論では初等埋め込みがめちゃくちゃ頻繁に使われるというのは、数学が形式的に行われている…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。