Non-constructive existence proofs fail to ground completeness claims; showing a system must exist di...
This proposition has not been edited since the history system was added.