“马是集合，白马是集合内的一元素，白马属于马，白马又不等于马……”
如果说公孙龙之前的《白马论》，还在以世人不能普遍认可的特殊例子来吸引目光，通过赢得辩论让名家声名大噪的话，今日的《集合论》却与他过去的作品大相径庭。
按照长安君“与其把简单说复杂，不如试试将复杂说简单”的建议，公孙龙不再用暧昧不清的语言把人绕糊涂，而是开始由浅入深，将白马非马剖析开来。
他先把难以让人理解的辩题揭去神秘面纱，将其原理展示在众人眼前，而后再明言，这个例子并非特殊，而是普遍存在的。白马与马，黄牛与牛，男人与人，以上种种，都是集合问题，可以逻辑符号表示两者之间的关系。
等号、不等号，属于，包含于，被包含于，那些符号就被他用粉笔画在漆成黑色的木板上，一目了然。
虽然公孙龙已经尽量用词浅显，但对名实之辩领会不够的士人依然听得一头雾水，不过该听懂的人，却都听明白了。
曾经与公孙龙驳辩过的荀况和邹奭对视一眼，都从对方眼里看到了一丝惊异。
虽说名家那套理论招致的攻击是很多的，但从未有人能让名家放弃他们的学说，他们不能，孔穿不能，墨家也不能。
可今日，公孙龙正在做的事情，却是将名家一直引以为傲的辩题彻底公开，露出了简单本质来。虽然公孙龙说话还是那么狂妄，但少了哗众取宠的诡辩过程，名家提出来的东西，好像也没那么让人反感。
齐国墨者陈丘也凑近过去，眯着眼瞧黑板上的符号，默然不言。
齐国墨家这些年彻底学术化，顺便把名家当成了最大的敌人。知己知彼百战百胜，为了在稷下有一席之地，可没少钻研公孙龙的理论。他们从概念上把名分为达、类、私三种，“达名”相当于最大的范围，如“物”；“类名”相当于普遍概念，如“马”；“私名”是限于对某一个体事物之称谓，包括专名或姓名，比如“白马”。
白马这个私名包含在马这个类名里，说白了，也有点类似集合和子集的概念。陈丘今天就打算抛出这个概念，本来要压公孙龙一头，谁料却先被对手提了出来……
这下就尴尬了。
一时间，墨家这边也无人反驳，因为公孙龙说的，正是他们墨家辩论一派在孜孜不倦证明的东西，作为一个广泛性概念的总结，也没什么好反驳的。
反倒是下面一些听不懂的士人不住提问，不过随着公孙龙讲述继续，已经很少有人能跟上他的步伐提出疑问了。
于是不可思议的事情发生了，从始至终，竟无人站出来反驳公孙龙一句，直到他将那块黑板密密麻麻地写满白字，直到他讲完了《集合论》，众人才反应过来，一时间，竟有种恍然大悟之感。
原来之前那令人敬而远之的”白马非马“就是这么回事啊！
但也没人击掌欢呼，众人陷入了诡异的寂静里，本来打算着公孙龙诡辩就嘘他的人也你看看我我看看你，最后瞧向了这场”辩论“的仲裁者荀子。
荀况却觉得今天公孙龙的话挑不出什么毛病，首先逻辑自洽严谨，其次就事论事，没有胡乱抛出些常人接受不了的东西，最后，用符号表示各种关系后，果然不容易产生误会和分歧。
他暗暗想道：“儒家在孔子死后一分为八，后学们为了抢占正统地位，各自都写作了作品，为诗、春秋作注解。谁先发声，谁发声最大，谁就能成为儒家的领袖，就能对天下人施加影响。如今钻研名实之辩的各家，也到这局面了么？本以为会是稷下墨家先提出自己的一套东西，让名家黯然失色，谁料公孙龙却在千钧一发之际抛出了这《集合论》……”
荀子感觉，这几乎就是白马非马这个命题的终结，此说一出，世人就再也不会辩白马非马了。
但放弃一个命题，却推出了一套可以行之于世的理论，公孙龙真是聪明，这场名实之辩的战争里，名家已占据上风。
如此一想，荀况便看向了陈丘：“陈子，公孙先生之论，你可认同？”