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

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

Inter-universal geometry と ABC予想 (応援スレ) 77 - 暇つぶし2ch306:１３２人目の素数さん
25/11/05 21:54:38.40 FFxAuNzB.net
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け

次ページ