6 经典与直觉主义逻辑的关系