On Non-Standard Models of Peano Arithmetic. tr 2008, 2 (2).