Συνέπεια αξιωματικού συστηματος

stranger
Δημοσιεύσεις: 16
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am

Συνέπεια αξιωματικού συστηματος

#1

Μη αναγνωσμένη δημοσίευση από stranger » Παρ Φεβ 08, 2019 3:48 am

Να αποδειχθεί ότι αν η ZFC είναι συνεπής τότε υπάρχει ένα αξιωματικό σύστημα T, έτσι ώστε το T να είναι συνεπές και το Τ να αποδεικνύει το θεώρημα ότι το T δεν είναι συνεπές.


Κωνσταντίνος Σμπώκος

Λέξεις Κλειδιά:
Απάντηση

Επιστροφή σε “Μαθηματική Λογική & Θεμέλια Μαθηματικών”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης