الرياضيات, المنطق, المنطق الرياضي, نظرية الإثبات, نظرية النموذج

نظرية ليندنبوم (Lindenbaum’s Lemma)