“马是集合，白马是集合内的一元素，白马属于☉♌马，白马⚊🏮又不等于马……”🍅🅯
如果说公孙🍺龙之前的《白马论》，还在以世人不能普遍认可的特殊例子来吸引目光，通过赢得辩论让名家声名大噪的话，今日的《集合论》却与他过去的作品大相径庭。
按照长安君“与其把简单说复杂，不如试试将复杂说简单”的建议，公孙龙不再用暧昧不清的语言把人绕糊涂，而是开始由浅入深，将白🄾🃌马⛳🞝🕄非马剖析开来。
他先把难以让人理解的辩题揭去神秘面纱，将其原理展示在众人🟏眼前，而后再明言，这个例子并非特殊，而是普遍存在的。白马与马，黄牛与牛，男人与人，以上种种，都是集合问题，可以逻辑符号表示两者之间的关系。
等号🄥⛔🚊、不等号，属于，包🔓⛱含于，被包含于，那些符号就被他用粉笔画在漆成黑色的木板上，一目了然。
虽然公📏孙龙已经尽量用词浅显，但对名实之辩领会🞑不够的士人依然听得一🏐🙎头雾水，不过该听懂的人，却都听明白了。
曾经与公孙龙驳辩过的荀况和邹奭对视🚳一眼，🚆都从对方眼里看到了一丝惊异。
虽说名家那套理论招致的攻击是很多的，但从未有人能让名🄹家放弃他们的🏐🙎学说，他们不能，孔穿不能，墨家也不能。
可今日，公孙龙正在做的事情，却是将名家一直引以为傲的辩题彻底公开，露出了简单本质来。虽然公孙龙说话还是那么狂妄，但少了哗众取宠的诡辩过程，名家提出来的东西，🖀好像也没那么让人反感。
齐国墨者陈丘也凑近过去🔓⛱，眯着眼瞧黑板上的🚆符号，默然不言。
齐国墨家这些年彻底学术化，顺便把名家当成了最大的敌人。知己知彼百战百胜，为了在稷下有一席🌫🂁之地，可没少钻研公孙龙的理论。🝨🍬他们从概念上把名分为达、类、私三种，“达名”相当于最大的范🍊🆕🏛围，如“物”；“类名”相当于普遍概念，如“马”；“私名”是限于对某一个体事物之称谓，包括专名或姓名，比如“白马”。
白马这个私名包含在马这个类名里💆🏦🜔，说白了，也有点类似集合和子集的概念。陈丘今天就打算抛出这个概念，本来要压公孙龙一头，谁料却⛳🞝🕄先被对手提了出来……
这下就尴尬了。
一时间，墨家🟁🚈这边也无人反驳🙛，因为公孙龙说的，正是他们墨家辩论一派在孜孜不倦证明的东西，作为一个广泛🂸性概念的总结，也没什么好反驳的。
反倒是下面一些听不懂的士人不住提问，不过随着公孙龙讲述继续，已经🏐🙎很少⚈🏟有人能跟上他的步伐提出疑问了。
于是不可思议的事情发生了，从始至终，竟无人站出来反驳公孙龙一句，直到他将那块黑板密密麻麻地写满白字，直到他讲完了《集合论》⛳🞝🕄，众人才反应过来，一时间，🞚🔱🄜竟有种恍然大悟之感。
原来之📏前那令🟁🚈人敬而远之的”白马非马“就是这么回事啊！