概要

私達が普段数学を考えるときに、「自然数」とか「実数」なんてものが出てきます。では、実数とか自然数って何でしょう？また、解析学では「実数の連続成公理」、代数学では「群の公理」、幾何学では「開集合系の公理」など、どんな数学の分野にも、議論の出発点となる公理があります。では、数学の議論の出発点となる公理はなんでしょうか？

公理的集合論では、ZFC公理系（公理の集まり）と呼ばれるものを数学の出発点として採用して、数学の中で数学を数学的対象として作り上げようという分野です。その中で、自然数や実数を構成します。

この勉強会では、そんな公理的集合論が、実際にどんな公理を採用して、どのように数学的対象としての数学を作り上げて、自然数や実数を構成していくのかをイチから学ぼうという企画です。

発表者も、集合論を学んでいる最中の大学４年生なので、皆様と一緒に学んでいけたらと思っております。

またこのスペースの管理人の方は集合論が専門の大学院生であり、この勉強会ではオブザーバーとして参加していただけることになっています。

こんな方におススメ！

• 集合論や数学基礎論に興味がある方
• 概要に書いてあるようなことに興味がある方
• 哲学を学んでいて、その内容に数学の基礎が関係する方
• 勉強・学問でつながる友達を作りたい方

第1回以降について

第1回（12月11日）以降は以下のスケジュールで、基本的に毎週日曜日に開催していきます。 具体的な発表回数は未定です。

発表資料について

ゼミの内容をまとめた PDF を共有しています！ 申し込みして頂いた後、「参加者への情報」の欄にあるリンクからご覧下さい。特に告知せず、逐次更新して参ります。
ダウンロード等はご自由にして頂いて構いません。常識の範囲内でお使い頂ければと思います。

オンライン参加

Zoom でも開催します！！！
「大阪か～。遠いな～。」と思って参加を見合わせていた方、どうぞ今一度ご一考ください！
Zoom のミーティングのリンクは, 参加申し込みをすると見られるようになります。

準備物や前提知識、教科書

準備物はノートと筆記用具があれば大丈夫です。

教科書は、キューネンの『数学基礎論講義』を使う予定です。必須ではありませんが、あると便利だと思います。

ある程度大学数学を知っていて、論理式に慣れ親しんでいる方が対象です。お気軽にご参加ください。
参考程度に、教科書が仮定する前提知識を書いておきます。

読者が学部レベルの基本的な数学をわかっているものと仮定します. 詳しく言うと：
　群とか体とかいった抽象的な数学的構造について思考することが平気でないといけません. また, 微分積分の基本のところと, その背後にある理論のいくらかを知っているべきです. 例えば, 極限値のきちんとした定義とか, 実数全体の集合 ℝ が非可算である一方で有理数全体の集合 ℚ が可算であるという事実, などです.
　初歩的な数学で利用されているような論理の基本についても知っているべきです. これは例えば, ブール代数の真理値表のことや, （中略）数学における日常言語の長い表現を短縮して描くための論理の使い方のこと, などです.

その他参考文献やおススメ本などは各回の途中で紹介します。

内容

教科書の第Ⅰ章を、前から順に（適宜飛ばしながら）進めていきます。

第16回は、数学基礎論に関する注意事項の続きを説明していきます。

参加費

第1回以降はお一人参加費1000円。
オンライン参加の方は参加費500円。

発表者自己紹介

数学科の大学4年生です。このゼミの教科書でもある『数学基礎論講義』を用いて、集合論を独学していました。10月から、このスペースの管理人の方が主催する論理学のゼミに参加させていただいて、集合論についても教えていただいております。まだ集合論を学んでいる最中で、このゼミも私の集合論への理解を深めることを目的にしています。

注意事項

勉強会に関するもの

• なるべく9時55分までには入室してください。
• お釣りのでないように参加費をお支払いください。
• 飲み物は持ち込み自由です。飴やガム以外の食事はご連慮ください。
• 宗教の勧誘や過度な営業活動などはご遠慮ください。
• 当日までの連絡なく不参加の方、キャンセルを繰り返される方は以後参加をお断りする場合があります。
• 周りの方へ迷惑行為やハラスメントを行った場合は、その場でご退室もしくは以降の参加をお断りします。

コロナウィルス感染対策に関するもの

• マスクの着用をお願いします。
• アルコールを用意していますので、入場時に手の消毒をお願いします。
• 咳、くしゃみなどの際は口を抑えるなどの配慮をお願いします。
• 参加者同士の物理的な接触(握手など)を極力避けるようお願いします。
• 体調が優れない場合は、参加はご遠慮下さい。(必ずConnpassにてキャンセル処理をお願いします。)

SOU数学ラボについて

大阪なんばにある、数学専攻の博士課程大学院生が管理人をしているスペースです。 管理人の研究室兼オフィスでもありますが、ここで数学の勉強会やイベントを開いたり、大人向けに数学の個人レッスンをしています。また勉強会やイベントの開催場所をお探しの方はこちらをご覧ください。

アクセス

このページにも地図は載っていますが、SOU数学ラボ内に写真付き道案内ページを作ってみたので、そちらも是非参考にしてください。

開催中の他のイベント・勉強会

当スペースでは様々なイベントや勉強会を定期開催しています。

フライデー数学ナイト（第1・3金曜日18時30分～20時30分）

数学好きのための交流イベントです。当スペースの勉強会に何度か参加し、すっかり数学好きになってしまったＩＴエンジニアの方が主催しています。勉強会のしっかりとした雰囲気ではなく交流メインですが、（各回最大1人まで）希望者がいれば数学の発表を披露していただきます。またそんな発表者に主催者なりにお返しができたらと参加者数に応じた謝礼をお渡しする仕組みを用意しました。日ごろの勉強の成果報告や振り返り、卒論・修論発表などのリハーサルに是非是非ご活用ください！ 参加申し込み受付中のイベント一覧はこちらから。

なんば哲学読書会（第2・4金曜日18時30分～20時30分）

大学外での哲学の気軽な勉強会を作ろうと、下記の双方向入門勉強会の哲学パート担当者でもある、若手哲学研究者が運営しています。１冊のテキストをテーマに勉強会を進めていきます。毎回資料を配布し予習や前提知識は不要になっているので、どの回からでも気軽に参加可能です。参加申し込み受付中のイベント一覧はこちらから。

公理的集合論入門勉強会（毎週日曜日10時～11時30分）

不完全性定理勉強会の参加者である、数学基礎論志望の大学生が発表役の勉強会です。毎回このconnpassで参加申し込みを受け付けています。詳しくはこちらから。またこのイベントはオンラインでも参加可能です。

帽子パズル研究会（第1・3日曜日12時～15時）

管理人の研究進捗報告も兼ねた、ゼミ形式勉強会です。管理人の主研究テーマである「囚人と帽子のパズルの無限化」の話をたくさん（ばっかり）します。帽子パズル研究の最前線を体験できます。詳しくはこちらも参考にしてください。

不完全性定理勉強会（第2・4日曜日12時～15時）

ゲーデルの不完全性定理の証明の理解を目標とした勉強会です。当スペース管理人が発表を担当しています。すでに固定メンバーが6人いて新規メンバー募集はしていませんが、見学は対応できる可能性があるので、興味のある方はご連絡ください。詳しくはこちらも参考にしてください。

開催していたイベント・勉強会

双方向入門勉強会【数学研究者⇄哲学研究者】（毎週土曜日16時～19時）

数学と哲学の若手研究者が異分野交流を目指して互いの専門分野について教えあう新しいタイプの勉強会です。 数学パートと哲学パートに分かれていて、数学パートは当スペースの管理人が担当しています。毎回参加申し込みをこのconnpassにて受け付けています。途中からの参加もお気軽にどうぞ。最新の回の申し込みなど詳しくはこちらから