2017-09-16から1日間の記事一覧
実在主義：→適当な構造が実際に存在する。１：それらは互いに初等同値である。 ２：初等同値とは限らないかもしれない。１なら、非形式的議論こそが重要ということになるが、 ２の場合には、形式的な扱いによって、その中の特定の クラスを指し示すことも有…
実在主義：→適当な構造が実際に存在する。１：それらは互いに初等同値である。 ２：初等同値とは限らないかもしれない。１なら、非形式的議論こそが重要ということになるが、 ２の場合には、形式的な扱いによって、その中の特定の クラスを指し示すことも有…
