Usage Note
Some authors say that σ is independent of T if T simply cannot prove σ, and do not necessarily assert by this that T cannot refute σ. These authors will sometimes say "σ is independent of and consistent with T" to indicate that T can neither prove nor refute σ.
Read more about this topic: Independence (mathematical Logic)
Famous quotes containing the words usage and/or note:
“I am using it [the word ‘perceive’] here in such a way that to say of an object that it is perceived does not entail saying that it exists in any sense at all. And this is a perfectly correct and familiar usage of the word.”
—A.J. (Alfred Jules)
“The most considerable difference I note among men is not in their readiness to fall into error, but in their readiness to acknowledge these inevitable lapses.”
—Thomas Henry Huxley (1825–95)