added new beginning and changed middle section \(although this is sti…

…ll quite incomplete and missing a large discussion on postulates generally\)

git-svn-id: https://thmadb.com/svn/st_johns@16 8b89d8c6-50a1-db11-ae90-0014220fd31b