National Academy of Songwriters Stevie Wonder, Los Lobos, Willie Dixon, Atlantic Starr, Stephen Stills, Michael Bolton, Melissa Manchester, Stephen Bishop, Brian Wilson, Kim Carnes, Michael McDonald, and many others. Also performing over the years at the "Salute To The American Songwriter" concerts were songwriting legends such as Jerry Leiber and Mike Stoller, Barry Mann, Jay Livingston and Ray Evans, Richard Sherman, John Bettis, Diane Warren, and many others. In 1988, the National 'Academy' of Songwriters teamed with VH-1 for the "Fourth Annual Salute To The American Songwriter" which was televised on VH-1 and Showtime in 1989. In 1996, the Los Angeles Songwriters Showcase (LASS)
Axiom of pairing then produces the desired result, {"A","A","A"}. We can extend this schema to include "n"=0 if we interpret that case as the axiom of empty set. Thus, one may use this as an axiom schema in the place of the axioms of empty set and pairing. Normally, however, one uses the axioms of empty set and pairing separately, and then proves this as a theorem schema. Note that adopting this as an axiom schema will not replace the axiom of union, which is still needed for other situations. Another axiom which implies the axiom of pairing in the presence of the