20/05/10 23:58:59 ANF/kJTD.net
>>456
9個の公理系は、公理系が9個に限られるかではなくて、
ツェルメロ (Ernst Zermelo)が当時時点で定義した公理系が9個であった、という話でもある気がしているよ。
つまり、公理系が幾つあるかという真実とは違って、ツェルメロが定義した過去のある時点で公理系の「定義」なだけで、それが数学の歴史で有名という捉え方で良い気がして、見てます。
だから、その定義の時点での考え方を引用して、そこからどのよう数学的な考え方を拡大、あるいは新しい数学概念であるか、という観点で理論を位置づける視点(IUT-?を含む)で引用があっても別段に良い。
数学者集団ブルバキの言うところ、
「もし,未来にそれ(現在の数学の枠組みとなっている公理的集合論)が破綻しても数学は必ずや新しい基礎を見つけるだろう」
結局のところ、公理系は 数学の枠組みが破綻して、新しい基礎をみつける、の繰り返し、なのだし。