【形式体系】

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

Math., Logik formales System n n; Kalkül m m.

Gebrauchsbeispiele

	形式体系の意味論形式体系の意味論 \| Math., Logik Semantik f f formaler Systeme.