『ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀』p.49
> 年会1933 年4 月2 -3 日東北帝国大学
> 高木貞治： 自然数論について
> 功力金二郎− Axioms for betweeness in the foundations of geometry
> 内田良道． 数学の新基礎付けについて

数学の「基礎付け」が、1930年代から普通に使われていることが分かる。