فرازبان

فرازبان اصطلاحی در زبان شناسی است و به زبانی گفته می شود که برای توصیف یک زبان دیگر به کار می رود. فرازبان ها افزون بر زبان شناسی در حوزه های دیگری نظیر ریاضیات، منطق، فیزیک و مهندسی رایانه مورد بررسی قرار می گیرند. اصطلاحاتی مانند قضیه، متغیر، فعل، ضرب، مقدم، تالی و... بخشی از فرازبان ها به شمار می روند.
نظریه رده ها
زبان صوری
سیستم صوری
فراداستان
فرافلسفه
خودارجاعی
از فرازبان ها برای نظریه پردازی دربارهٔ زبان ها استفاده می شود. به زبان مورد مطالعهٔ فرازبان، زبان موضوع یا زبان مقصود (به انگلیسی: Object language) گفته می شود. باید توجه داشت که قرارگیری یک زبان در جایگاه فرازبان یا زبان موضوع امری نسبی است، برای مثال زبان «ب» ممکن است برای زبان «آ» یک فرازبان به شمار آید و «ج» فرازبانی برای «ب» باشد. به این ترتیب «ب» فرازبانی برای «آ» و یک زبان موضوع برای «ج» خواهد بود.