English Ω-consistent theory Cited by user Citation bot on 06 Dec 2021 In mathematical logic, an ω-consistent (or omega-consistent, also called numerically segregative) theory is a theory (collection of sentences) that is not only (syntactica…