Bài tập 5, § 3

Cho $\mathscr{T}$ là một lý thuyết lôgic với các tiên đề tường minh $A_1$, $A_2$, ..., $A_n$. Khi đó $A_n$ độc lập với các tiên đề khác của $\mathscr{T}$ (§ 2, Bài tập) nếu và chỉ nếu lý thuyết mà các ký hiệu và các lược đồ đều giống như của $\mathscr{T}$, và mà các tiên đề tường minh là $A_1$, $A_2$, ..., $A_{n-1}$, "không $A_n$", là không mâu thuẫn.