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