Formal System Definition