Tambahkan pelafalan Anda sendiri "数学的論理学"
Makna dan definisi "数学的論理学"
Definisi
- 一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系
- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity