数理逻辑是一种纯形式的、符号化的逻辑,它以人工语言代替自然语言,使思维表达更加精确。
出自:法学