 Modern proof theory treats proofs as inductively defined data structures, not requiring an assumption that axioms are "true" in any sense.This allows parallel mathematical theories as formal models of a given intuitive concept, based on alternate sets of axioms, for example Axiomatic set theory and Non-Euclidean geometry.As practiced, a proof is expressed in natural language and is a rigorous argument intended to convince the audience of the truth of a statement.