أسس الرياضيات, الرياضيات, المنطق الرياضي, علوم الحاسوب, نظرية الأعداد

حساب سكولم (Skolem arithmetic)