下列说法中，正确的有：A哥德尔定理表明：相容的体系一定是不完全的B哥德尔定理表明：相容的体系一定含有“不可判定命题”C哥德尔是奥地利数学家D哥德尔定理表明：相容的体系一定是不独立的E公理化体系的相容性