4 ms·
To show that a sentence P is independent of a theory (that is, a set of sentences) T, generally one constructs or demonstrates the existence of a model of T + P
by aetilley 7y ago
To show that a sentence P is independent of a theory (that is, a set of sentences) T, generally one constructs or demonstrates the existence of a model of T + P and also produces a model of T + (not P).
https://en.wikipedia.org/wiki/Model_theory https://en.wikipedia.org/wiki/Model_theory