metamathematical أمثلة على

• These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of whether number theory is consistent and complete.
  استُخدمت هذه البديهيات كما هي وبدون تعديلات تذكر في عدد من الأبحاث الرياضية أهمها التحقق من اتساق وكمال نظرية الأعداد.