【形式体系】

けい￨しき･たい￨けいkeishiki·taikei5

N.
Math., Logik formales System n n; Kalkül m m.
Gebrauchsbeispiele
 
　 形式体系の意味論 |
Math., Logik Semantik f f formaler Systeme.