Goedel_HFSet_Semantic