یک ساختار متریک عبارت است از یک فضای متریک به همراه تعدادی رابطه و عمل پیوسته روی آن. هر ساختار مرتبه یکم یک ساختار پیوسته است. منطق پیوسته گسترشی از منطق مرتبه یکم است که برای مطالعه ساختارهای متریک بنا شده است. هدف این پایان نامه مطالعه نیرش (فورسینگ) در منطق مرتبه یکم و منطق پیوسته و اثبات قضیه حذف تایپ در آنها می باشد. نخست به طرح چارچوب اصلی در منطق مرتبه یکم می پردازیم. سپس با انجام تغییرهای لازم نیرش در منطق پیوسته را تعریف می کنیم. در پایان به کاربرد این مبحث در خارج قسمت های جدایی پذیر فضاهای باناخ می پردازیم. کلید واژه: نیرش، تایپ، حذف تایپ، ساختار متریک، زیر فرمول