تاربرگ‌های پیموده‌شده در این نشست: هستیال‌گروی ⟩ استواره بَوَندَگی گودل ⟩ Yves Nievergelt