Akademik
theorem
Something proved in a logical system or
logical calculus
. Formally: the last line of a
proof
.
Philosophy dictionary
.
Academic
.
2011
.