以下（）不属于逻辑系统四大定理。