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

 

Τα τυπικά συστήματα στα μαθηματικά αποτελούνται από τα παρακάτω στοιχεία:

# Μια [[γραμματική]], που καθορίζει πως οι ''καλά ορισμένη διατύπωση'' κατασκευάζονται από τα σύμβολα του αλφαβήτου. Συνήθως απαιτείται να υπάρχει μια διαδικασία που να αποφασίζει αν μια διατύπωση είναι καλά ορισμένη.

# Ένα σύνολο από αξιώματα ή [[σχήμα αξιωμάτων]], όπου κάθε αξίωμα (ή παραγόμενο αξίωμα) πρέπει να είναι καλά ορισμένο.