山元選択

@hymathlogic

数学専攻の大学院生。幾何学と集合論が大好き。 修論に向けて格闘中！ 0は自然数/選択公理ちゃんまじ公理/不完全性定理/ゲーデル数/連続体仮説