BackLinks search for "형식체계,formal_system"
- universal_statement
- 문자열,string
- 시스템,system
- 신택스,syntax
- 올바름,correctness
- 진리,truth
- 추론규칙,inference_rule
- 칼큘러스,calculus
- 형식언어,formal_language
Show Context.
Show Context.
Show Context.
Show Context.
Show Context.
Red Ruby Wiki 
minus(U+2212): −
asymp equal(U+2243): ≃
Show Context.