In his Calculus book - A First Course in Calculus - Lang introduces the exponential function as enter image description here
Does Property 4 Assume the existence of such a function? On what basis? The illustration before the Property 4 seems to illustrate only at x=0. My question is specifically the way Lang introduces the function since I am following the book currently.