No More Learning

Given a body of geometrical propositions, it
is not           to find a minimum statement of the axioms from which
this body of propositions can be deduced.