Inter-universal geometry と ABC予想 (応援スレ) 55

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 55 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

376: 2021/06/19(土)10:42 ID:dMVF6Ao+(15/51) AAS
命題２：経由する中途の表式に依存しない
　往々にして、（数学上の）定義はいくつもの表式を経由する。
　このとき、最終的な結論が中途の表式に依存している場合、
　well-definedであるとは言えない。