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

Inter-universal geometry と ABC予想 (応援スレ) 46at MATH

Inter-universal geometry と ABC予想 (応援スレ) 46 - 暇つぶし2ch645:現代数学の系譜雑談
20/05/22 13:25:10.66 koULGAjk.net
>>609
つづき
高階論理において
一階述語論理における型変数は、二階述語論理においては通常は除去できる。何故なら、型変数は何らかの理論中に現れる要素間で成り立つ性質や関係そのものを代入可能な変数として位置付けられることが多いからである。上で挙げた帰納法と

次ページ

続きを表示

1を表示