سامانه دیسه‌ای
همچنین شناخته شده با: نظام صوری
برابر انگلیک (انگلیسی): Formal System

نمونه‌ها/پیاده‌سازی‌ها سامانه S1

تاربرگ‌های پیموده‌شده در این نشست: نابَوَندَگی ⟩ پژوهشهایی در بنیادهای نگره‌ی هنگرد، یک ⟩ آی‌بی‌ام ⟩ گویایی نایکنواخت ⟩ Prior Analytics