Neste trabalho vamos apresentar a técnica de forcing, mostrando a consistência relativa entre ZF C e ZF C ` CH. O foco principal da dissertação é a fundamentação lógica da técnica e das ferramentas utilizadas, como o conceito de absolutividade e teoremas de reflexão. Discu- timos com detalhes o uso dos diferentes níveis de linguagem e metalinguagem no processo de formalização.

In this work we will present the forcing technique, showing the relative consistency of ZFC and ZF C ` CH. The focus of the dissertation is the logic foundation of the technique and its tools, like the concept of absoluteness and reflection theorems. We will discuss in detail the use of different levels of language and metalanguage in the process.