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