Freiling's axiom of symmetry
(重定向自Axiom of symmetry)
Freiling's axiom of symmetry (AX) is a set-theoretic axiom proposed by Chris Freiling. It is based on intuition of Stuart Davidson but the mathematics behind it goes back to Wacław Sierpiński.
Let A be the set of functions mapping real numbers in the unit interval [0,1] to countable subsets of the same interval. The axiom AX states: