4 ms·
Is anyone aware of a proof system that can do independence proofs over a set of axioms?
by 7373737373 7y ago
Is anyone aware of a proof system that can do independence proofs over a set of axioms?
- krapht 7y agoAll of them? I don't understand why you think existing systems are not able to handle independence proofs. You embed your model in the logic of the system, and this approach works for all proof assistants.
- 7373737373 7y agoBecause embedding a model in the logic of the system is not practically achievable in many systems