Path: news.ccsf.jp!tomockey.ddo.jp!news.unit0.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: chiaki@kit.ac.jp (Tsukamoto Chiaki)
Newsgroups: fj.sci.math
Subject: Re: ZFC公理系のみからの自然数の定義について
Date: Tue, 6 Nov 2012 08:23:07 GMT
Organization: Kyoto Institute of Technology
Lines: 37
Message-ID: <121106172307.M0132499@ras2.kit.ac.jp>
References: <k0h8bh$pae$1@dont-email.me>
	<120823201937.M0716151@ras1.kit.ac.jp>
	<k4vng5$bl7$1@dont-email.me>
	<121009204332.M0413709@ras2.kit.ac.jp>
	<k5mmr4$dhb$1@dont-email.me>
	<121019213028.M0130809@ras2.kit.ac.jp>
	<k6746a$gvp$1@dont-email.me>
	<121024173620.M0225737@ras1.kit.ac.jp>
	<k6i1c5$1bh$1@dont-email.me>
	<121029202814.M0204207@ras2.kit.ac.jp>
	<k6rkho$jaf$1@dont-email.me>
	<121101180441.M0118946@ras1.kit.ac.jp>
	<3993934news.pl@rananim.ie.u-ryukyu.ac.jp>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-2022-jp
Injection-Info: mx04.eternal-september.org; posting-host="3df8f68f87f11e5e35eb7b48cfdfb59e";
	logging-data="16012"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Ki6+yzjqgqcrRjzGlxWDf"
X-Newsreader: mnews [version 1.22PL7(UNI)] 2008-02/02(Sat)
Cancel-Lock: sha1:TB/9ZqLVIBk1CeSfXhhOx2AghG4=
Xref: news.ccsf.jp fj.sci.math:3766

工繊大の塚本です.

In article <3993934news.pl@rananim.ie.u-ryukyu.ac.jp>
Shinji KONO <kono@ie.u-ryukyu.ac.jp> writes:
> In article <121101180441.M0118946@ras1.kit.ac.jp>
> chiaki@kit.ac.jp (Tsukamoto Chiaki) writes:
# "\in" について:
> >  ZF を前提にするのですから, 定義は必要ありませんし,
> > 定義はありません.
# 一方:
> > 定義がなければ { x } が何を表すのか分かりません.
> 
> 定義がいるのか要らんのか、どっちなのか、わかりませんな。

 "\in" の方は１階述語論理で集合論を記述するときの
言語に要請される関係記号で, 無しには出来ませんが,
 { x } の方は, Axiom of pairing

  \forall v_0 \forall v_1 \exists v_2 \forall v_3
    [v_3 \in v_2 \leftarightarrow (v_3 = v_0) \lor (v_3 = v_1)]

で存在が保証される, v_0, v_1 に対する v_2 のことを
 { v_0, v_1 } と略記した時の, { x, x } の略記ですから,
全て省略せずに書くことにすれば「消せる」ものですね.
 
> 述語論理で、定義って何だろう? 構文規則のことか? 

省略記号には定義というか, 約束というか, がないと
困るでしょう.

 { x } を, "\in" がそうであるのと同じように,
「定義なし」に使えるようにしようとするなら,
どんな言語で集合論を記述するつもりなのか, から
始める必要がありますね.
-- 
塚本千秋@数理・自然部門.基盤科学系.京都工芸繊維大学
Tsukamoto, C. : chiaki@kit.ac.jp