My Labeling System For Set Theory Analysis