Axiomatizing Neural Networks via Pursuit of Subspaces