zho: 數理邏輯

Information
has URI	http://lexvo.org/id/term/zho/%E6%95%B8%E7%90%86%E9%82%8F%E8%BC%AF
character	Character U+6578
character	Character U+7406
character	Character U+908F
character	Character U+8F2F

Meaning
means	(noun) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity formal logic, mathematical logic, symbolic logic