Inter-universal geometry と ABC予想否定派

Inter-universal geometry と ABC予想否定派at MATH

Inter-universal geometry と ABC予想否定派 - 暇つぶし2ch275:１３２人目の素数さん
20/04/23 20:15:52 zY/+UvEc.net
(A∧B→C)↔(A∧￢C→￢B)において、
AとしてP0を、Bとして∀x(Px→Psx)を、Cとして∀xPxを考えたものと同じ

次ページ

続きを表示

1を表示