Axiom of finite choice
http://dbpedia.org/resource/Axiom_of_finite_choice
In mathematics, the axiom of finite choice is a weak version of the axiom of choice which asserts that if is a family of non-empty finite sets, then (set-theoretic product). If every set can be linearly ordered, the axiom of finite choice follows.
rdf:langString
rdf:langString
Axiom of finite choice
xsd:integer
53055349
xsd:integer
1050522539
rdf:langString
In mathematics, the axiom of finite choice is a weak version of the axiom of choice which asserts that if is a family of non-empty finite sets, then (set-theoretic product). If every set can be linearly ordered, the axiom of finite choice follows.
xsd:nonNegativeInteger
1320