- if_and_only_if
- 가능성,possibility
- 계산,computation
- 고정점,fixed_point
- 논리기호,logic_symbol
- 논증,argument
- 동치,equivalence
- 로직,logic
- 순서,order
- 아규먼트,argument
- 아톰,atom
- 앨지브라,algebra
- 언어,language
- 일관성,consistency
- 조합론,combinatorics
- 증명이론,proof_theory
- 직관,intuition
- 진리값,truth_value
- 철학,philosophy
- 최대화,maximization
- 칼큘러스,calculus
- 퀀티피케이션,quantification
- 포뮬러,formula
- 프로그래밍,programming
- 프로그래밍패러다임,programming_paradigm
Show Context.