Estudaremos aqui problemas de demonstrações em teorias fracas da Aritmética Limitada os teoremas sobre a infinidade dos primos e do princpio da casa dos pombos (limitado). Serão dadas soluções parciais para os dois problemas anteriores, além da demonstração que o grafco de x y = z tem definição 0 / We study here the problems of proving in weak theories of Bounded Arithmetic the theorems about the existence of arbitrarily large prime numbers and the (limited) pigeon hole principle. We will give partial solutions for the two foregoing problems, and the proof that the graphic of x y = z has a 0 definition