All of these logical systems can also be defined axiomatically, as is shown in the next section.
همه این سیستم‌های منطقی را می‌تواند بصورت اصل موضوعی تعریف کرد، آنگونه که در بخش بعدی نشان داده شده.