Definition:Valid (Formal Systems)