We show in set-theory ZF that the axiom of choice is equivalent to the statement every bipartite connected graph has a spanning sub-graph omitting some complete finite bipartite graph Kn;n, and in particular it is equivalent to the fact that every connected graph has a spanning cycle-free graph (possibly non connected).
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.