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