Professional Documents
Culture Documents
数 学 の 基 礎 と して の集 合 論
VS.数 学 と して の集 合 論
渕 野 昌(Sakae Fuchino)
中部 大 学 工 学 部
1 は じめ に
「集 合 論 は 数 学 の 基 礎 で あ る 」 とい う よ うな 主 張 を 耳 に す る こ とが あ る.し
か し,数 学 の 現 場 で は こ の 主 張 の 意 味 す る と こ ろ は 顧 み られ る こ と が 少 な い よ
うに 思 え る.日 本 で の 数 学 系 の 学 科 で は 集 合 論 を 選 択 科 目 と して す ら教 え な い
こ と が ほ とん ど な の で,多 くの 人 に と っ て,こ の 主 張 を吟 味 す る た め の 背 景 知
識 は 全 く与 え られ て い な い,と い うの が 現 状 で あ ろ う.[13]の 前 書 き に は,
集 合 論 の 上 に 全 数 学 が 築 か れ る こ と は 常 識 で あ る の に,公 理的 集合 論 の
と い う一 節 が 見 られ る.し か し,も し 日本 の 多 くの 数 学 者 が 公 理 的 集 合 論 を 知
ら な い の だ とす る と,そ れ は 取 り も直 さず,数 学 を や る た め に は集 合 論 な どい
ら な い,と い う こ とを 示 唆 して い る の で は な い だ ろ うか?
こ れ は,一 面 そ う と も 言 え る か も しれ な い が,し か し講 演 者 に は,む しろ,
そ う と は 言 い きれ な い 面 も あ る よ うに 思 え る.次 の よ うな相似 な状 況 を考 えて
る か を 本 当 に 全 く知 ら な い 人 が い る こ と に 驚 か され る こ と が あ る*1.そ のよ う
な 人 は,自 分 は 数 学 を知 らな くて も物 理 学 の 研 究 が で き て い る の だ か ら,物 理
*1こ れ は単 に講 演者 の個 人的 な 体験 で あ る
.も ちろ ん逆 に,物 理学 者 の 中に は数 学 者 も顔負 け
の 数 学の 達人 もい た りもす るの だが,
-22-
数 学 の 基 礎 と し て の 集 合 論vs.数 学 と して の 集 合 論(渕 野 昌)
唱 え た く な る",と い うの は 単 に 好 み や 政 治 的 立 場 上 で 言 っ て い る わ け で は な
と思 う.と い っ て も,で き る だ け 何 の 前 提 知 識 も仮 定 せ ず に 論 ず る こ と を試 み
る こ と に な る め,こ こ で 述 べ る こ との で き る の は,ご く初 等 的 な 事 柄 ば か り で
あ り,よ り本 格 的 な 議 論 に つ い て は 別 の 機 会 に 譲 ら ざ る を得 な い.
さ て,「 数 学 の 基 礎 と し て の 集 合 論 」 とい う よ う な 趣 旨 で 話 を進 め る と,多
分,「 そ ん な こ と を 言 っ て も 実 際 に は 集 合 論 は 何 か 役 に 立 つ の か?」 とい うよ
う な 疑 問 を 呈 され る 方 が 必 ず い る も の と 思 う.「 役 に 立 つ の か?」 とい う設 問
が 大 き い の か?」 と い う も の と ほ とん ど同 質 で あ る こ とが 多 の で は な い だ ろ う
れ を使 っ て 面 白 い 定 理 が 証 明 で き る の か?」 ま た は 「面 白 い 理 論 は構 築 で き る
合 論 が こ の 意 味 で 非 常 に"役 に 立 つ"も の で あ る こ と を 示 す よ うな 例 を い くつ
か と りあ げ て み た い と思 う.
2 数 学 の基 礎 と しての 集 合論
集 合 論 と数 学 の 関 係 の 考 察 に あ た っ て,ま ず 集 合 論 の 基 礎 的 な 部 分 を復 習 し
て み る こ とに す る.集 合 論 は,標 準 的 に は 以 下 の よ うな 公 理 か らな る 数 学 的 体
れ て 得 られ た 体 系 に 基 づ く も の で,ZFCと よ ばれ て い る.'Z'と'F'は こ の2
-23-
企 画 特 別 講 演
して"aがbの 要 素 で あ る"と い う帰 属 関 係 を 唯 一 の 基 本 的 な 述 語 と し て 採 用
集 合 は そ の 要 素 に よ り一 意 に 決 ま る こ と を 主 張 す る次 の もの で あ る:
値 に な る と き,x=gが 成 り立 つ.
… と い う性 質 を 持 つ 集 合 を 作 る こ と が で き る 」 と い う タ イ プ の 主 張(存 在公
理)と な っ て い る.
(空 集 合 公 理)要 素 を 一 つ も持 た な い よ うな 集 合 が 存 在 す る.
外 延 性 公 理 に よ り,要 素 を 一 つ も持 た な い 集 合 は 存 在 す れ ば 一 意 で あ る こ と が
示 せ る.こ の 一 意 に 決 ま る と こ ろ の,要 素 を 一 つ も持 た な い よ うな 集 合 を の で
あ ら わ し空 集 合 と よぶ.
対 の 公 理 で そ の 存 在 の 保 証 され た(こ れ も外 延 性 の 公 理 に よ り一 意 に 決 ま る と
係 が 成 り立 つ こ と で あ る.
値 に な る よ うな も の が 存 在 す る.
-24-
数 学 の基 礎 と して の 集 合 論vs.数 学 と して の集 合 論(渕 野 昌)
こ の 公 理 はxを 集 合 族 と 見 て そ の 和 集 合 を と っ たyの 存在 を 主 張 して い る
(我 々 の 立 場 で は す べ て の 集 合 は 集 合 か ら な る の で,集 合 と集 合 族 の 区 別 は な
い の で あ る が,要 素 を集 合 と して 扱 っ て い る こ と を 強 調 す る た め に 「集 合 族 」
とい う言 葉 を使 う こ と も あ る).
和 集 合υ ∪ ω とな る.
実 は こ れ は 非 常 に 重 要 な ポ イ ン トと な る が,こ れ に つい て は後 で再 び コ メン ト
す る).
存 在 す る.
上 の よ うな 雪 は や は り ∼0とx1,…xnが 与 え られ る と一 意 に確 定 す る.そ こ
で これ をy={z∈x:ψ(z,x1,…xn)}と あ ら わ す.
y∪{y}∈xと な る よ う な も の が 存 在 す る.
{0,{0}}={0}∪{{0}}∈x,{0,{0},{0,{0}}}={0,{0}}∪{{0,{0}}}∈x,
と,自 然 数 の 全 体 か ら な る 集 合N={0,1,2,…}の 存 在 が 証 明 で き る.
のy={Z∈x:ψ(z,x1,…xn)}はxの 部 分 集 合 で あ る.
-25-
企 画 特 別 講 演
る よ うな も の が 存 在 す る.
づ け て 考 え る こ とに よ り(た と え ばX⊆Nで2n+1がXに 含 まれ てい た と
の 中 で 構 成 す る こ と が で き る こ と に な る.
さ き ほ どの 順 序 対 を 思 い 出 し て み る と,集 合a,bに 対 し,
と な る の で,べ き 集 合 の 公 理 と分 出 公 理 を 用 い る
構 成 したNは,(た と え ば ペ ア ノが 定 式 化 した よ うな)自 然 数 の全 体 の満 たす
べ き 性 質 を ,す べ て 満 た す も の に な っ て い る こ と を 示 す こ と が で き る*5.同 様
に して数学 で 通常 に行 われ る推論 はす べ て集 合論 の公 理 系か らの演 繹 に翻訳 で
き る こ と が 確 か め られ る.
らわす.
*5こ こで のNの 定 義か ら
,n∈Nに 対 し,n+1はn∪{n}の こ とと して 定義 す れ ば よい.
Nで の ∈ に 関す る帰納 法 に よ る関 数の 導入 原 理 を用 意 して お くと,こ の こ とか ら数の 和や
積 の演 算 が 自然 に導 入 で きる.等 々.
-26-
数 学 の 基 礎 と して の集 合 論vs.数 学 と して の 集 合 論(渕 野 昌)
る 選 択 公 理 だ け か ら な る 枠 組 の 中 で も,ほ とん どす べ て の 数 学 的 議 論 は 展 開 で
き る の で あ る が,集 合 論 で は さ らに 次 の2つ の 公 理 を仮 定 す る.
を と っ た と き に,ψ(a,b,A,c1,…,Cn)と な る よ う なbが
一 意 に決 ま る な ら
,集 合0で,す べ て のa∈Aに 対 し
ψ(a,b,A,c1,…,cn)と な るb∈Cが 見 つか る よ うな もの が
存 在 す る.
理 か ら,分 出 公 理 の 一 つ 一 つ の 主 張 を 導 き だ す こ と が で き る.こ れ まで の他 の
公 理 と違 い,置 換 公 理 は 通 常 の 数 学 の 議 論 で は 用 い られ る こ と が 稀 な 公 理 で あ
る.古 典 的 な 数 学 に こ の 公 理 が 必 要 とな る こ と は な い,と 断 言 して も よ い く ら
くつ か の 重 要 な 結 果 で,こ の 公 理 が 本 質 的 に 用 い られ て い る こ とが 知 られ て い
る*6.
次 の 基 礎 の 公 理 と呼 ば れ る も の も,通 常 の 数 学 の 議 論 で は ほ とん ど用 い られ
る こ と が な い も の で あ る.
す る.
基 礎 の 公 理 は 技 術 的 な 理 由 で 付 け加 え られ た 公 理 と 言 え る が,こ の公 理 を集
合 論 の 公 理 系 に 加 え る こ と の 妥 当 性 は,(1) の*7任
意 の 部 分 集 合 が ∈ に 関 す る極 小 元 を 持 つ よ うな 集 合xの 全体 が 基礎 の 公理 を
-27-
数 学 の基 礎 と して の 集 合 論vs.数 学 と して の 集 合 論(渕 野 昌)
含 む 集 合 論 の 公 理 系 を満 た す も の に な る こ と 一 特 に この こ と か ら,ZFCか ら
基 礎 の 公 理 を 除 い た も の が 矛 盾 しな い な ら,(基 礎 の 公 理 も 含 む)ZFCも 矛盾
しな い こ とが わ か る;(2)上 で 定 義 したN,P(N),… な ど集 合 論 の 枠 組 の 中
で 通 常 の 数 学 を 展 開 す る の に 必 要 とな る 集 合 は,す べ て(1)の よ うな 性 質 を 持
つ も の に な っ て い る こ と;(3)基 礎 の公 理 での性 質 を満 た さな い集合 の 存在 を
保 証 す る 公 理 を集 合 論 の 他 の 公 理 に 付 け加 え て も(1)の 性 質 を持 つ集 合 に関 し
て は 何 ら新 しい 結 論 が 得 られ な い こ と*8,に よ り保 証 され て い る,と 考えるこ
と が で き る.
公 理 的 集 合 論(な い し通 常 の 数 学 的 議 論)で は 次の 選択 公理 が頻 繁 に 用い ら
れ る:
よ うな もの が 存 在 す る.
選 び 出 す 関 数 とな っ て い る.
選 択 公 理 は,Zermeloが こ の 公 理 を 定 式 化 し た 当 初 か ら 色 々 と物 議 を か も
い れ な い 面 も あ る た め,問 題 視 す る人 も あ る よ うで あ る.こ の公 理 が通 常仮 定
され る 理 由 と し て は,(1)ゲ ー デ ル の 構 成 的 集 合 に 関 す る結 果 か ら,ZFCと
ZFCか ら選 択 公 理 を 除 い た 公 理 系 とは 無 矛 盾 性 に 関 して 等 価 で あ る こ と;(2)
Shoen丘eldの 絶 対 性 定 理 に よ り,集 合 論 で の 命 題 と して あ ら わ し た と き に そ
れ ほ ど 複 雑 な 形 に な ら な い 数 学 的 命 題 に つ い て は*9,ZFCで の 証 明 が 得 られ
れ ば,そ れ か ら選 択 公 理 を用 い な い 証 明 を 作 りな お す こ とが で き る こ と;(3)
選 択 公 理 の オ ル タ ナ テ ィ ヴ と考 え られ る決 定 性 公 理 の 成 り立 つ 世 界 は,選 択公
理 の 成 り 立 つ 集 合 論 の"宇 宙"の 内 部 モ デ ル と し て 捉 え ら る こ とが で き る こ と
*8つ ま り
,こ の よ うな拡 張 され た公 理 系 は集 合論 の公 理 系 の一 種 の保 守拡 大 に な って い る.
*9こ の 主 張 を正 確 に記 述 す るの に は数 理 論理 学 で の知 識 を必 要 とす るた め
,"そ れ ほ と複 雑 な
形 にな らない"と い う条件 の 実際 の意 味 に つい て は触れ ない こ とにす るが,古 典 的数 学 で 扱
われ るよ うな種 類 の命 題 の 多 くが この よ うな もの に な る.
-28-
企 画 特 別 講 演
う曖 昧 表 現 の 問 題 に つ い て 触 れ て お き た い と思 う.分 出 公 理 や 置 換 公 理 の 個 々
の 適 用 の 際 に は,具 体 的 な集 合 の 性 質 が 与 え られ る の で,問 題 が な さ そ うに も
針 が 全 く与 え られ て お らず,ZFCの 公 理 系 の 外 延 が 定 か に な ら な い.歴 史的
論 の 公 理 系 を 提 示 す る に 終 っ て い る.こ れ に 現 在 知 られ て い る よ うな 厳 密 な 意
理 が 用 い られ て い た.
数 学 の 記 述 に 関 連 す る 論 理 体 系 は,そ こ で ど れ だ け の 集 合 論 的 概 念 をa
prioriな も の と捉 え る か に 従 っ て,い くつ か の 種 類 が 考 え ら れ る の で あ る が,
1階 の 論 理 は,そ の うち 論 理 体 系 と して は 集 合 論 的 な 概 念 を 全 く 内 包 しな い も
式(命 題 や 述 語 を あ ら わ す 記 号 列)と そ れ らの 間 の 演 繹 関 係 の 定 義 に よ っ て 与
え られ る.集 合 論 に お け る論 理 式 の 全 体 は 次 の よ うに して 帰 納 的 に(つ ま り記
号 列 の 複 雑 さ に 関 す る 帰 納 法 に よ り)導 入 す る こ とが で き る:ま ず無 限個 の変
集 合 論 の 論 理 式 は(1),(2),(3)の 繰 返 し適 用 に よ り得 られ る も の の み で あ る.
読 み 下 され,そ の よ うな 意 味 に 解 釈 され る の べ き も の で あ る.
こ の よ うな 形 式 的 な 論 理 式 を 用 い て 集 合 論 の 公 理 は す べ て 上 で 導 入 した よ う
な 論 理 式 と し て 書 く こ とに し*10,た と え ば 分 出 公 理 は,各 論 理 式 ψ に 対 し,
*10た とえ ば
,外 延 性 公理 と空集 合 公理 は,そ れ ぞれ,
とい う論 理式 で あ らわす こ とがで き る.
*11た だ し,こ の論理 式 や 上の脚 注で の論 理 式で は,可 読 性 の ため に い くつか の括 弧 を省 略 して
-29-
数 学 の基 礎 と して の 集 合 論vs.数 学 と して の 集 合 論(渕 野 昌)
出 公 理 や 置 換 公 理 の 導 入 は外 延 の 確 定 した も の に な っ て い る こ とに 注 意 す る.
1階 の 論 理 で は 論 理 式 に よ る推 論(あ る い は 証 明)の 概 念 も次 の よ うに して
ψ な どい う推 論 規 則 を 有 限 個 あ つ め た"推 論 規 則 集"Rを 具 体的 に与 える こ と
が で き て,ZFCで の 論 理 式 ψ のZFCか らの 証 明 を,論 理 式 の 列(ψ0,ψ1,…,
ン とマ ッチ す る も の と な っ て い る よ うな も の が とれ る こ と と 定 義 す る.こ のよ
な 証 明 は 数 学 的 な 証 明 と解 釈 す る こ と が で き,ψ の 表 現 して い る 数 学 的 事 実 は
数 学 的 定 理 で あ る と考 え て よ い.こ こ で 注 意 して お く と,上 の論 理式 の 定値 で
タ 言 語 で の マ ク ロ の よ うな も の と して 扱 か う こ とが で き,こ れ らの 記 号 を 使 っ
た 論 理 式 は,必 要 な ら"∈"と"="の み を 使 っ た 論 理 式 に 展 開 で き る.
数 学 的 な ア イ デ ア の 豊 か さ を 思 い お こす と,こ の よ うな 形 式 的 証 明 の 体 系 は
い か に も貧 弱 な 印 象 を 与 え る か も しれ な い が,驚 くべ き こ と に,ゲ ー デル の 完
全 性 定 理 に よ り,(1階 の 論 理 体 系 と して 知 られ て い る 推 論 規 則 集 π に 関 し
て),す べ て のZFCの 論 理 式 ψ で あ らわ され る数 学 的 命 題 の 数 学 的 証 明 が 存
Rで の)ZFCか らの 証 明 が 存 在 す る!ZFCを こ の よ うな 形 式 的 体 系 と して
認 識 し研 究 す る 分 野 は 特 に 公 理 的 集 合 論 と よ ば れ る.こ れ に 対 し,こ の 節 の 前
半 で 述 べ た よ うな 記 述 に よ り形 式 的 体 系 を 意 識 せ ず に 議 論 を 行 う こ と を 素 朴 集
こ の よ うに,全 数 学 は 公 理 的 集 合 論 の 形 式 的 体 系 の 中 に 埋 め 込 ま れ た もの と
して 捉 え られ る こ とが わ か っ た わ け で あ る が,こ こで 「だ か ら何 な の か?」 と
い う当 然(?)の 疑 問 に 答 え て お く必 要 が あ る で あ ろ う.
書 い てあ る.
*12「 素 朴」 とい う 日本 語 の 単語 は ポ ジテ ィ ヴな意 味 を持 つ こ とが 多 い がnaiveは ネ ガテ ィ ヴ
な 意 味 も持 つ形 容詞 で あ る.
-30-
企 画 特 別 講演
ま ず 全 数 学 を 集 合 論 の 中 に 埋 め 込 ん で 考 え る こ とに よ り,数 学 を 大 き な 枠 組
の 中 で 統 一 的 な 視 点 か ら扱 か う こ とが で き る,と い う利 点 が あ げ られ る,こ れ
は,現 在 で は ほ とん ど 常 識 と な っ て い る 視 点 と言 え る が,こ の よ うな 見 方 を 最
初 に 一 般 の 数 学 コ ミュ ニ テ ィ ー に 提 示 した の は ブ ル バ キ の 「数 学 原 論 」 国 で
て く る必 要 は な く,国 で も素 朴集 合 論 的 な視 点 を越 える議 論 が行 われ て い る
れ た と き に は じめ て そ の 考 察 が 可 能 と な る よ うな ゲ ー デ ル の 不 完 全 性 定 理 と関
連 す る 諸 問題 を 無 視 し続 け た,と い う指 摘 も あ る([10],[11]).
部 が 展 開 で き て,体 系 が 無 矛 盾 な ら完 全 で な い,つ ま りそ の 体 系 か らの 演 繹 に
張 す る も の で あ る.数 学 も,さ らに 公 理 的 集 合 論 で さ え も こ の 不 完 全 性 定 理 の
も 証 明 で き な い こ と の 証 明 され た 数 学 的 命 題(つ ま りZFCか ら独 立 な 数 学 的
命 題)が 近 年 に な っ て 多 数 見 つ か っ て い る.こ の よ うな 言 わ ゆ る 独 立 性 証 明
こ こ で,集 合 論 の 公 理 系ZFCを 全 数 学 を 内 包 す る 理 論 と して 認 識 す る と,
式 が 成 り立 っ.こ の 命 題 か らfの 可
測性 を除 いた
が 成 り立 っ.
さ に こ の 主 張(*)は,ZFCか ら独 立 な 命 題 と な っ て い る の で あ る:
-31-
数 学 の 基 礎 と し て の集 合 論vs.数 学 と して の集 合 論(渕 野 昌)
系 に 連 続 体 仮 説 を 加 え た も の か ら(*)の 反 例 と な る 関 数 が 構 成 で き る.し た
な い.
解 析 学 的 な 命 題 の 真 偽 が 数 学 か ら独 立 で あ る,と い う状 況 は 解 析 学 を研 究 して
い る 立 場 か らは あ ま り気 分 の 良 い もの で は な い か も しれ な い が*15,い ずれ に し
て も,上 の よ うな 事 情 に 関 す る 識 見 は,公 理 的 集 合 論 に 解 析 学 を埋 め 込 ん で 考
決 して 得 る こ との で き な い も の で あ ろ う.独 立 性 の 結 果 の うち,ZFCか らの
独 立 の 示 され た 命 題 が 通 常 の 数 学 的 考 察 の 枠 内 に 十 分 に お さ ま りそ うな も の は
他 に も 多 く 知 られ て い る が,そ の よ うな も の の うち 特 に 解 析 学 と か か わ る も の
に つ い て は,図 に そ の 多 く の も の に つ い て の 解 説 が あ る.
集 合 論 に 初 め て 触 れ た 人 は 「全 数 学 が 集 合 論 の 枠 内 で 展 開 で き る 」 と い う主
理 を 除 い た 体 系 で さ え,古 典 的 な数 学 の議 論 で 必 要 に な る集 合 論 の 最 小 セ ッ
テ ィ ン グ か らは ほ ど遠 い こ と が 分 か っ て い る.ど の よ うな 数 学 的 議 論 で 集 合 論
の どの 程 度 の 部 分 が 必 要 に な る の か,と い う問 題 は,逆 数 学 と言 わ れ る研 究 分
を 兼 る」 と い う こ と で,十 分 に 強 いZFCで 考 え て い れ ば 十 分 と 思 うか も しれ
な い が,ゲ ー デ ル の 第 二 不 完 全 性 定 理 に よ り状 況 は も う少 し複 雑 な も の に な っ
て い る.
で き,体 系 が 無 矛 盾 な ら,そ の 体 系 の 中 で 体 系 自身 の 無 矛 盾 性 の 証 明 を得 る こ
*13こ の 仮定 の 必 要性 につ い て は以 下 の第 二不 完全 性 定理 に 関連 の議 論 を参 照 .
*14マ ル テ ィ ンの公 理やforcingに つ い ての 一般 的 な解 説 はた とえば[51を
,よ り本 格 的な 記述
は[8],[6]を 参照 され た い.
*15し か し
,こ の よ うな独 立性 の 結果 は集 合論 的 深 淵 の所在 を示す 興 味深 い 結果 で あ る,と と ら
え る捉 え 方 も可 能 なの で は なだ ろ うか?多 くの集 合 論研 究 者 の美 学 的 あ るい は数 学 的 立 場
も,そ の よ うな もの では な いか と思 う.
-32-
企 画 特 別 講 演
ノの 公 理-PA)の よ うに,そ の 無 矛 盾 性 が あ る 意 味 で 確 立 され て い る も の が
あ る.こ れ は 勿 論,第 二 不 完 全 性 定 理 の 意 味 で の 厳 格 な 有 限 の 立 場 か らの 無 矛
理 か ら あ ま り離 れ て お らず,そ の 無 矛 盾 性 の 度 合 の確 立 され て い る よ うな 公 理
逆 に,あ る 種 の 数 学 的 命 題 の 中 に は,無 矛 盾 性 に 関 して 集 合 論 よ り さ ら に 強
い 理 論 を 必 要 とす る も の も あ る.上 で も 触 れ た 決 定 性 の 公 理(AD)は,ZFC
明 快 な 定 理 を 導 い て くれ る 公 理 で あ る が,ZF+ADか ら はZFCの 無矛 盾 性
が 証 明 で き て しま うの で,第 二 不 完 全 性 定 理 に よ り,AD+ZFはZFCだ け
の 中 で は 解 釈 す る こ とが で き な い 理 論 に な っ て い る.実 は 「す べ て の 実 数 の
る 強 い 体 系 とな っ て し ま うが,そ の 無 矛 盾 性 に 関 す る 強 さ(つ ま り無 矛 盾 性 の
うち 現 在 ま で 知 られ て い る も の の ほ とん どす べ て は,無 矛 盾 性 の度合 に関 して
線 型 に順 序 づ け られ る こ とが 知 られ て い る(17]を 参 照).
以 上 で 概 説 した よ うな 種 類 の 集 合 論 で の 知 見 は,数 学 の基 礎 につ い ての考 察
を試 み る際 に は,無 視 の で き な い も の に な っ て い る と言 うこ と は で き る の で は
な い だ ろ うか.
-33-
数 学 の基 礎 と して の集 合 論vs.数 学 と して の 集 合 論(渕 野 昌)
3 数 学 と しての 集合 論
以 上 の よ うな 説 明 を す る と,集 合 論 と は 数 学 の 基 礎 の 研 究 を す る た め に,形
式 論 理 で の 論 理 式 の 変 形 を して い る よ うな 分 野 で あ る,と い う よ うな 誤 解 を 受
研 究 分 野 とい うよ りは,他 の 言 わ ゆ る 純 粋 数 学 に 近 い 分 野 と して と らえ て い る
の で は な い か と思 う.確 か に 記 号 論 理 学 との 関 係 が 他 の 分 野 よ り明 示 的 か つ 直
接 的 な 分 だ け*17,そ の 研 究 に お い て は,直 観 と形 式 の 間 の 大 き な振 幅 の 往 復 運
動 を 強 い られ る こ とに な る の で は あ る が,そ の よ うな 研 究 の 牽 引 力 とな っ て い
思 う.
さ らな る 可 能 性)と い うよ うな 視 点 に つ い て も触 れ た い と思 っ て い る が,紙 数
が っ き た た め 予 稿 で は こ れ に つ い て は 割 愛 せ ざ る を得 な い.
参考文献
数 学).
*17こ こで は説 明 す る余裕 が な か った が
,集 合 論 で は,集 合論 の 体系 を外 側 か ら制御 す るいわ ゆ
るmeta mathematicsと して の 論 理 と,集 合 論 の 内 部 で,meta mathematicsを 模 して
展 開 さ れ る 論 理 の 間 の 微 妙 な 関 係 も積 極 的 に 扱 か う必 要 が で て く る.
-34-
企 画 特 別 講 演
ク 東 京,1998).
フ ェ ア ラ ー ク 東 京,1999).
-35-