تاربرگ‌های پیموده‌شده در این نشست: به افماریک گزاره‌ای لوئیس ⟩ استواره لونهایم-اسکولم سرپایین