Τυπικό σύστημα: Διαφορά μεταξύ των αναθεωρήσεων

Στην [[λογική]], ένα '''τυπικό σύστημα''' (formal system), ή '''λογικό σύστημα''' (logic system), ή απλά '''λογική''' αποτελείται από μια [[τυπική γλώσσα]] σε συδυασμό με ένα [[συμπερασματικό σύστημα]], που αποτελείται από ένα [[σύνολο]] από [[συμπερασματικός κανόνας|συμπερασματικούς κανόνες]] και/ή [[αξίωμα|αξιώματα]]. Ένα τυπικό σύστημα χρησιμοποιείται για να [[τυπική απόδειξη|παράγει]] μια έκφραση από μια ή περισσότερες άλλες εκφράσεις που διατυπώνονται ως υποθέσεις. Οι εκφράσεις αυτές λέγονται αξιώματα, στην περίπτωση που υποτίθεται ότι είναι αληθείς, ή [[θεώρημα|θεωρήματα]], στην περίπτωση που παράγονται. Ένα τυπικό σύστημα μπορεί να διατυπωθεί και να μελετηθεί για τις εγγενείς του ιδιότητες, ή μπορεί να έχει στόχο την περιγραφή εξωτερικών φαινομένων ([[μοντέλο]]).