Modeling Formal System