Kou Junsei

حول قاعدة التكرار (أو التكرار) في الاستنتاج الطبيعي: هل القاعدة "واضحة" أم تحتاج إلى إثبات؟