やりたいこと 関数の体系を公理的に特徴づけ,関数の特別な場合として集合を定義したいです. 関数論の公理系ATFをつくります. 注意 特に先行研究とかは見ていません. 数学の素人が何の経験も無しでやるので,全然興味深くない体系ができたり,全然関数の…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。