Formal systems cannot retroactively justify what they were designed to exclude; domain incompletenes...
This proposition has not been edited since the history system was added.