اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
إذا كانت T هي نظرية يمكن تفسير عناصرها بأنها أعداد طبيعية, فسنقول إن T سليمة حسابيًا إذا كانت جميع مبرهنات T حقيقية فعلاً من حيث الأعداد الصحيحة الحسابية القياسية. لمزيد من المعلومات انظر نظرية تناسب أوميغا (ω).