Formal systems

any well-defined system of abstract thought based on the model of mathematics

set of axioms from which some or all axioms can be used in conjunction to logically derive theorems

sufficient evidence or a sufficient argument for the truth of a proposition

concept

establishment of a theorem using inference from the axioms

a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear

system