I also bet that you only read the summary.
the strange syntax
S-expression is more like the textual representation of Lisp's abstract syntax tree than syntax. In the past Lisp had something more like a conventional syntax (M-expression) which (if I remember correctly) compiled into s-expression, but somehow people still liked s-expression better.
I have a theory that it's impossible to prove anything, but I can't prove it.