A description of supported operations on a type, including their syntax and semantics.
An abstract and general idea; an abstraction.
Understanding retained in the mind, from experience, reasoning and imagination; a generalization (generic, basic form), or abstraction (mental impression), of a particular set of instances or occurrences (specific, though different, recorded manifestations of the concept).
to conceive; to dream up
A syntactically correct expression that is deducible from the given axioms of a deductive system.
A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
A mathematical statement that is expected to be true
To formulate into a theorem.