A Remark on a Comprehension Axiom without Negation

φ(x) に∀,∃があってもスコーレムの予想が正しいことを私が証明して発表したのが，わずか2ページの論文 https://t.co/nuvMioWRTu https://t.co/vIaROfXUyj しかしスコーレム自身も同じことをほぼ同じ時期に証明していたことを後に知った．[以上]

8 @dante_agiritasi @divgradphai @Alwe_Logic @non_archimedean @kyow_QQ @KAMON_Yammani @hu58 @sanjutsu_yu

15 @Alwe_Logic @bero3342 @CharStream @divgradphai @hu58 @hyuki @kagamin_hr @koteitan @Lenqth @philos_math_ym @sanjutsu_yu @SatosiYAMAGATA @tadanobu @Xelmh @y_bonten