【数理逻辑】的信息