ポスト

well-definedness の説明としては 一般に ZFC において定義というのは一般に「P(Y) が真となるただ一つ存在する Y を X と置く」という形のものである だから、それが存在することと一意であることは必ず示されなくてはならない って説明するのが良いと思ってる

メニューを開く

Linuxmetel@linuxmetel

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ