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

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

Inter-universal geometry と ABC予想 (応援スレ) 45 - 暇つぶし2ch361:IUT応援団　団員
20/05/09 08:50:15 j9hCxaDC.net
だっせ～ん

>>318
自然演繹でもタブロー法的なやり方で
「証明が存在すれば必ず構成できる方法」
を構築できる筈だけど、タブロー法ほど明快ではないかもね

次ページ

続きを表示

1を表示