تاربرگ‌های پیموده‌شده در این نشست: Apeiron ⟩ the doctrine of predicative judgment ⟩ Peano arithmetics ⟩ affixing relevant logics