学部・大学院区分
Undergraduate / Graduate		情報・博前
時間割コード
Registration Code		2510032
科目区分
Course Category
科目名　【日本語】
Course Title		数学基礎論特論2
科目名　【英語】
Course Title		Foundations of Mathematics 2
コースナンバリングコード
Course Numbering Code		GSI116032J
担当教員　【日本語】
Instructor		松原　洋 ○ 木原　貴行 吉信　康夫
担当教員　【英語】
Instructor		MATSUBARA Yo ○ KIHARA Takayuki YOSHINOBU Yasuo
単位数
Credits		1
開講期・開講時間帯
Term / Day / Period		秋２期 月曜日 ２時限
Fall2 Mon 2
対象学年
Year		１年
1
授業形態
Course style
開講系（学部）・開講専攻（大学院）
Subject
必修・選択
Required / Selected
選択


授業の目的　【日本語】
Goals of the Course(JPN)
本講義の目的は公理的集合論の導入部の学習である。
授業の目的　【英語】
Goals of the Course
This is an introduction to axiomatic set theory.
到達目標　【日本語】
Objectives of the Course(JPN)
順序数や基数といった公理的集合論における基本的概念を理解し，
それに関する諸性質を学習する。
到達目標　【英語】
Objectives of the Course
授業の内容や構成
Course Content / Plan
Possible topics are the following:
(1) Introduction to axiomatic set theory
(2) Metamathmatical application of set theory (consistency of theory of natural numbers)
履修条件・関連する科目
Course Prerequisites and Related Courses
履修条件は数学基礎論特論1が履修済みであること。
成績評価の方法と基準
Course Evaluation Method and Criteria
Your grade will be assigned based upon assignments (projects) and an examination.
教科書・参考書
Textbook/Reference book
課外学習等（授業時間外学習の指示）
Study Load(Self-directed Learning Outside Course Hours)
You are expected to do some assignments almost every week.
I will give at least one week notice prior to the due day.
授業開講形態等
Lecture format, etc.
遠隔授業（オンデマンド型）で行う場合の追加措置
Additional measures for remote class (on-demand class)
大学の授業実施方針の状況に応じて遠隔授業（オンデマンド型）で行う可能性がある。その際はzoom等が使えるネット環境が必要になる。