Representational limitations of formal systems (incompleteness, undecidability) don't entail non-exi...
This proposition has not been edited since the history system was added.