If something isn't definable in any formal system, calling it 'mathematically definable' lacks clear...
This proposition has not been edited since the history system was added.