Tarski's definition of point in banach spaces