In this work we estimate the potential government revenue collection to finance Levy (2008)’s proposal of financing social security with Value Added Taxes, taking into account general equilibrium effects in a context of coexistence of formality and informality. Here, the latter is defined in terms of tax evasion.Este artículo estima la propuesta de Levy (2008) de financiar con impuestos un sistema de seguridad social, removiendo las contribuciones sociales, pero tomando en cuenta los efectos de equilibrio general en un contexto donde coexiste la formalidad y la informalidad.