順序集合と体の定義と距離空間とε-論法と有理数体の完備化による実数体の構成を既知として, 物理量を表す数は実数またはその組(複素数など)が妥当であると論理的に結論づけられた.超実数など他のモデルが妥当である可能性は否定していないが少なくとも必然的…

ベクトル場Xの点pにおける指数の定義式γ_p(X)＝(1/2π)∫_C dθは複素解析における留数の定義式Res(f, a)＝(1/2πi)∫_C f(z)dzに, オイラー-ポアンカレの定理Σ_i γ_(p_i)(X)＝χ(S)は留数定理の式∫_γ f(z)dz＝2πi Σ_i Res(f, a_i)に良く似ていると感じた.曲面Mの…