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