BackLinks of "형식체계,formal_system". Copy: has NO comma Hide Show U | 마 | 사 | 아 | 자 | 차 | 카 | 하 U universal_statement 마 문자열,string 사 시스템,system 신택스,syntax 아 올바름,correctness 자 진리,truth 차 추론규칙,inference_rule 카 칼큘러스,calculus 하 형식언어,formal_language