(logic) A formal system.
logical calculus
その哲学者は信念に関する推論を形式化するための新しい形式体系を開発した。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★