Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF

Στην εργασία αυτή παρουσιάζουμε αποτελέσματα που αφορούν το πρόβλημα της συνέπειας για το αξιωματικό σύστημα “New Foundations” (NF). Πιο συγκεκριμένα, μελετάμε την αποφασισιμότητα διαφόρων ειδών προτάσεων (αύξουσες, φθίνουσες, υπαρξιακές-καθολικές) από ασθενείς υποθεωρίες της NF. Ερευνούμε επίσης μία ασθενέστερη μορφή του προβλήματος της συνέπειας που σχετίζεται με μία γενίκευση της έννοιας του αυτομορφισμού μετατόπισης βαθμίδων.