One significant area of recent research involves the transformation of axioms into ... and possibility. Proof Theory: The study of the structure and nature of mathematical proofs.
An introduction to proofs and the axiomatic methods through a study of the vector space axioms. Linear analytic geometry. Linear dependence and independence, subspaces, basis. Inner products. Matrix ...