|
|
|
|
|
|
by aetilley
2377 days 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 |
|
|