關于民事執(zhí)行制度的下列說法，哪些是正確的？（）

檢察院發(fā)動再審，是指檢察院對法院已經(jīng)生效的判決、裁定發(fā)現(xiàn)有發(fā)動再審的法定事由，或者對于生效的調(diào)解書，發(fā)現(xiàn)其損害了國家利益、社會公共利益時，提請法院對案件重新進行審理的訴訟活動。

陪審制度，是指審判機關吸收法官以外的公民參與案件審判活動的制度。

誠信原則，是指法院、當事人以及其他訴訟參與人在審理民事案件時必須公正、誠實和善意。

根據(jù)民事訴訟法及其司法解釋的規(guī)定，下列關于反訴的表述，哪一選項是不正確的？（）

形成之訴是指原告請求法院運用判決變動已成立或既存的民事法律關系（或民事權(quán)益）或者特定的法律事實之訴。

下列對自認的表述，正確的是（）。

崔洪與劉麗房屋買賣合同糾紛一案，經(jīng)區(qū)法院和市中級法院兩審終審，判決支持崔紅的訴訟請求，責令劉麗將房屋交付給崔某，并且為其辦理房屋過戶手續(xù)。崔洪向區(qū)法院申請執(zhí)行，在執(zhí)行程序中，劉輝提出該房屋系其與劉麗共同共有的，不同意賣給崔洪。區(qū)法院經(jīng)審查駁回劉輝的異議，劉輝認為市中級法院的判決錯誤損害其民事權(quán)益。關于本案的下列表述，哪些選項是不正確的？（）

下列各項中，屬于民事糾紛解決機制的有（）。

陳某向區(qū)法院申請執(zhí)行，責令趙某支付拖欠的借款100萬元。執(zhí)行程序中，因趙某無資金可供執(zhí)行，區(qū)法院根據(jù)陳某的申請將趙某的一套二居室住房查封，趙某認為區(qū)法院查封自己的該住房是違法的，區(qū)法院審查后裁定駁回了趙某的異議。此后孫某向區(qū)法院提出執(zhí)行異議，稱趙某已將該二居室住房賣給自己，且自己已經(jīng)付清房款，區(qū)法院裁定中止對該二居室住房的執(zhí)行。陳某決定提出執(zhí)行異議之訴。關于本案的下列表述，哪些選項是不正確的？（）