Abstract: The talk will present some interesting first-order statements that are true but independent of Peano Arithmetic. The statements are either number-theoretic or combinatorial in character (as opposed to metamatematical). The methods involved in the proof will be discussed. If time allows, an interesting possible model of arithmetic will be discussed in relation of some actual open problems of elementary number theory.