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