- 153 名前:132人目の素数さん mailto:sage [2016/09/09(金) 00:47:13.12 ID:ldcXxrQT.net]
- 『ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀』p.49
> 年会1933 年4 月2 -3 日東北帝国大学 > 高木貞治: 自然数論について > 功力金二郎− Axioms for betweeness in the foundations of geometry > 内田良道. 数学の新基礎付けについて 数学の「基礎付け」が、1930年代から普通に使われていることが分かる。
|

|