Πεθαμένη_μεσα.Να στα κανω πιο απλά και κατανοητά.Η θεωρία των συνόλων, όπως όλη η μαθηματική, προϋποθέτει τυπικά μια λογική, την καλούμενη τυπική ή συμβολική λογική, και στηρίζεται σ' αυτή. Αλλά η τυπική ή συμβολική λογική προϋποθέτει ότι αυτό για το οποίο μιλάει αρχίζοντας, οι προτάσεις που επεξεργάζεται ως άτμητα μη αναλύσιμα και αδιάφορα ως προς το περιεχόμενο τους είναι ένα σύνολο, πάνω στο οποίο ορίζει μια καθορισμένη σχέση, τη συνεπαγωγή. Η κατάσταση παραμένει ουσιαστικά η ίδια, όταν εισάγονται, σε μια δήθεν δεύτερη φάση, οι ποσοδείκτες. Υπάρχει λοιπόν λογικομαθηματικός κύκλος, φανερός επίσης στο γεγονός ότι δε μπορούμε να κάνουμε τυπική λογική χωρίς να αριθμήσουμε- και που δε σπάμε παρά με λόγια, όταν βεβιώνουμε ότι οι αριθμοί που κινητοποιούμε κατ' αυτό τον τρόπο είναι "άλλοι" από τους αριθμούς της αριθμητικής. Λογική και μαθηματική είναι αδιάσπαστες, συντεθειμένες, δύο όψεις του αυτού-του ταυτιστικού-συνόλου.