| From(投稿者): | kono@ie.u-ryukyu.ac.jp (Shinji KONO) |
|---|---|
| Newsgroups(投稿グループ): | fj.sci.math |
| Subject(見出し): | Re: ZFC公理系のみからの自然数の定義について |
| Date(投稿日時): | Tue, 6 Nov 2012 01:10:53 +0000 (UTC) |
| Organization(所属): | Information Engineering, University of the Ryukyus |
| References(祖先記事, 一番最後が直親): | (G) <k0h8bh$pae$1@dont-email.me> |
| (G) <120823201937.M0716151@ras1.kit.ac.jp> | |
| (G) <k4vng5$bl7$1@dont-email.me> | |
| (G) <121009204332.M0413709@ras2.kit.ac.jp> | |
| (G) <k5mmr4$dhb$1@dont-email.me> | |
| (G) <121019213028.M0130809@ras2.kit.ac.jp> | |
| (G) <k6746a$gvp$1@dont-email.me> | |
| (G) <121024173620.M0225737@ras1.kit.ac.jp> | |
| (G) <k6i1c5$1bh$1@dont-email.me> | |
| (G) <121029202814.M0204207@ras2.kit.ac.jp> | |
| (G) <k6rkho$jaf$1@dont-email.me> | |
| (G) <121101180441.M0118946@ras1.kit.ac.jp> | |
| Message-ID(記事識別符号): | (G) <3993934news.pl@rananim.ie.u-ryukyu.ac.jp> |
| Followuped-by(子記事): | (G) <121106173213.M0101078@ras2.kit.ac.jp> |
| (G) <121106172307.M0132499@ras2.kit.ac.jp> |
河野真治 @ 琉球大学情報工学です。
In article <121101180441.M0118946@ras1.kit.ac.jp>, chiaki@kit.ac.jp (Tsukamoto Chiaki) writes
> > え!? "{x}"の定義とは一体何なのでしょうか?
> > 勿論,"∈"の定義も必要ですよね。
> ZF を前提にするのですから, 定義は必要ありませんし,
> 定義はありません.
> ! [公理イ] {x}を集合と呼ぶ事にする(対集合の公理(?))。
> について,
> > これは公理ですが定義は不要かと思いました。
> 定義がなければ { x } が何を表すのか分かりません.
定義がいるのか要らんのか、どっちなのか、わかりませんな。
述語論理で、定義って何だろう? 構文規則のことか?
---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科