(به : ) زبانی برای توسعه تعاریف و برهان‌های همراه با و پایگاه داده در حال رشدِ هزاران قضایای اثبات شده با پوشش نتایجی مرسوم در ، ، ، ، ، و است همچنین موضوعاتی در و .
{"title": "متامث", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%85%D8%AA%D8%A7%D9%85%D8%AB&oldid=29314649", "language": "fa"}