Constructive proofs provide epistemic access to mathematical objects; non-constructive existence cla...
This proposition has not been edited since the history system was added.