متامث

مِتامَث  یا فراریاضی یا مابَعْدُالریاضیبه تقلید از «مابعدالطبیه» در ترجمهٔ metaphysics، زبانی برای توسعه تعاریف و برهان‌های ریاضیات صوریمتامث چیست؟ نرمن مگیل، صفحه خانگی متامث. همراه با بررسی برهان و پایگاه داده در حال رشدِ هزاران قضایای اثبات شده با پوشش نتایجی مرسوم در منطق، نظریه مجموعه‌ها، نظریه اعداد، نظریه گروه‌ها، جبر، آنالیز و توپولوژی است همچنین موضوعاتی در فضاهای هیلبرت و منطق کوانتومی.بیشترین برهان‌های اخیر ، مگیل، نرمن.

 منابع 

 پیوند به بیرون 
 متامث: وبگاه رسمی.
 ریاضیدانان دربارهٔ متامث چه نظری دارند: نظراتی بر متامث.
رده:دستیارهای اثباتی
رده:نرم‌افزارهای ریاضی آزاد