- 정리,theorem . . . . 2 matches
- 정의,definition . . . . 2 matches
- 명제식,propositional_formula . . . . 1 match
- 방정식,equation . . . . 1 match
- 성질,property . . . . 1 match
- 적형식,wff . . . . 1 match
- 존재성,existence . . . . 1 match
- 카운팅,counting . . . . 1 match
Show Context.