Ön, Emek.
(Thesis (M.A.)-Bogazici University. Institute for Graduate Studies in the Social Sciences, 2010., 2010.)
The use of the concept of infinite and of nonconstructive methods in mathematics needs justification. For this reason, we need to prove that these methods do not lead to inconsistencies. In order to achieve that, we formalize ...