Definition:Theorem (Formal Systems)