Σύστημα U
Στη μαθηματική λογική, το Σύστημα U και το Σύστημα U− είναι αμιγή συστήματα τύπων, δηλαδή: Ειδικές μορφές λάμδα λογισμού με έναν αυθαίρετο αριθμό δομών, αξιωμάτων και κανόνων, ή εξαρτήσεων μεταξύ των δομών. Αποδείχθηκαν και οι δύο ασυνεπείς από τον Ζαν-Υβ Ζιράρ, το 1972. Αυτό οδήγησε στην συνειδητοποίηση ότι η αρχική θεωρία των τύπων από τον Μάρτιν-Λεφ του 1971 ήταν ασυνεπής, καθώς επέτρεψε ίδια συμπεριφορά με το παράδοξο του Ζιράρ: "Ολικό Σύνολο μέσα στον εαυτό του". 
Q1166618
μαθηματική λογική
Concept
Q7261163
αμιγή συστήματα τύπων
Concept
Q2607208
λάμδα λογισμού
Concept
Q22909237
Σύστημα U
ORG
Q22909237
Σύστημα U
ORG
1971-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1971
DATE
+1971^^http://www.w3.org/2001/XMLSchema#decimal
1971
NUMBER
instance of
subclass of
instance of