Sokratesさんの備忘録ないし雑記帳

思考の流し台. 駄文注意.

2020-09-16から1日間の記事一覧

ZF が矛盾した日

Twitter にて「Tychonoff の定理 が選択公理なしで証明された」という主張を見た. どのような体系で証明されたのかよくわからないが,もし,その体系が ZF の部分体系(もしくはそれと同等の証明能力を持つ体系)であって,また仮に証明されたのが事実だとす…