選択公理bot成長のキセキ

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl from 14 to 43

選択公理 @AxiomderAuswahl

@alg_d Form 14 から Form 43 はZFで証明不可能です

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl to 93

選択公理 @AxiomderAuswahl

@alg_d Form 93 を証明可能: 1 52 70 88 93 100 101 170 184 195 251 252 306 309 366 368

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl to 80

選択公理 @AxiomderAuswahl

@alg_d Form 80 を証明可能: 1 10 61 80 88 111 122 250 358

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl from 1093 to 42

選択公理 @AxiomderAuswahl

@alg_d Form 1093 は存在しません

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl from 000

選択公理 @AxiomderAuswahl

@alg_d Form 000 は存在しません

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl from 82 to 61

選択公理 @AxiomderAuswahl

@alg_d Form 82 から Form 61 はZFで証明不可能です。

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl from AC to DC

選択公理 @AxiomderAuswahl

@alg_d AC から DC は証明可能です。

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl from PP to WPP

選択公理 @AxiomderAuswahl

@alg_d PP から WPP は証明可能です。

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl from 従属選択公理 to Hahn-Banach

選択公理 @AxiomderAuswahl

@alg_d 従属選択公理 から Hahn-Banach はZFで証明不可能です。

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl from 3 to 10

選択公理 @AxiomderAuswahl

@alg_d Form 3 から Form 10 は証明可能です。

V-alg-d（ZZ） @alg_d

@AxiomderAuswahl 何故ですか??

選択公理 @AxiomderAuswahl

@alg_d 頑張れば証明できます。