摘要：本文提出一個基于無知的群組宣告邏輯，該邏輯是帶有宣告算子的無知邏輯加上一個基于無知的群組宣告算子的擴(kuò)展，用以表達(dá)群組中的每個主體宣告他們各自的無知后什么東西為真。我們對比這一邏輯和文獻(xiàn)中相關(guān)邏輯的相對表達(dá)力，并研究該邏輯的框架可定義性問題。另外，我們也提出一個公理化系統(tǒng)并證明它的完全性。