Formal System In Artificial Intelligence