投稿日: 2023年9月9日2023年9月28日Bolzano-Weierstrass の定理 || 無限に続く数列が有界ならその一部は収束する いろんな話の基礎になっている存在定理 平均値の定理とかの実数関連の証明で使われます。 “Bolzano-Weierstrass の定理” の続きを読む
投稿日: 2019年11月11日2023年9月28日幾何学基礎論 Foundation || 幾何学って何?を考える分野 だいたい「公理」の見直しをするための分野 “幾何学基礎論 Foundation” の続きを読む