Weyl's writings emphasize intuitive constructibility from natural numbers rather than formal proof-t...
This proposition has not been edited since the history system was added.