Contemplative and rational type of abstract or generalizing thinking, or the results of such thinking.
A tentative insight into the natural world; a concept that is not yet verified but that if true would explain certain facts or phenomena.
Set of fomula that can be deduced from axioms in some given logic.