Nicholas Geovanis wrote: > semantics collapses to syntax. As in mathematics. Thomas Schmitt writes: > This view is outdated since nearly 90 years. The attempt to create a > language where semantical correctness results from syntactical > correctness was killed by Goedel's incompleteness theorem. I think that you confound soundness and completeness. -- John Hasler jhasler@newsguy.com Elmwood, WI USA