Tarski's system of geometry