柏拉图认为，自然界中有形的东西是流动的，但是构成这些有形物质的“形式”或“理念”却是永恒不变的。柏拉图指出，当我们说到“马”时，我们没有指任何一匹马，而是称任何一种马。而“马”的含义本身独立于各种马（“有形的”），它不存在于空间和时间中，因此是永恒的。但是某一匹特定的、有形的、存在于感官世界的马，却是“流动”的，会死亡，会腐烂。
列举柏拉图的观点就是想说明，概念是固定的（定理或者公理），物质的世界是动态变化的。
给大家看一个2017年国考行测的试题：
柏拉图认为处于变化之中的事物不是真正的存在，持这种理念的人会认为以下哪项最真实：
A. 关于马的概念
B. 人的照片
C. 一棵树
D. 勾股定理
有的人说选A，有的人说选D，B和C都不是固定的，照片会变旧，树木会死亡，那么只剩下A和D，我们先看看勾股定理的定义： 在任何一个平面直角三角形中的两直角边的平方之和一定等于斜边的平方。在△ABC中，∠C=90°，则a² b²=c² 。这个定理是永恒的，我们在来看看现代马的概念： 草食性动物，那么A的这个概念会变化吗？肯定会，古人对马的概念：怒也。武也。象馬頭髦尾四足之形。凡馬之屬皆从馬。也就是说今古有关马的概念发生了变化。
我们今天在探讨“白马非马”：
客方：可以说白马不等于马吗？
公孙龙：可以。
客方：为什么？
公孙龙：“马”是对物“形”方面的规定，“白马”则是对马“色”方面的规定，对“色”方面的规定与对“形”方面的规定性，自然是不同的。所以说，对不同的概念加以不同规定的结果，白马与马也是不同的。
客方：有白马，不可以说是没有马。既然不可以说是没有马，那么白马不就是马了？既然有白马称为有马，那么为什么白色的马就不是马呢？
公孙龙：如果要求得到“马”，黄马、黑马都可以满足要求；如果要求得到 “白马”，黄马、黑马就不能满足要求了。假使白马就是马，那么要求得到马与要求得到白马便完全一样了，但是，如果要求得到马与要求得到白马没有区别 ，那么，为什么黄马、黑马有时答应有马而不可以答应有白马呢、「既然可以答应有马而不可以答应有白马。」，这就明显地说明要求得到“马” 与要求得到“白马”是完全不同的。所以，同样一匹黄马或黑马可以答应有马，而不可以答应有白马。「这就是说明原来“白马乃马”的假设是不 能成立的」。所以，“白马区别于马”，这是清楚不过的事理。
客方：照您的意思看来，马有了颜色就不同于马了。可是世界上没有无颜色的马，那么，能说世界上有颜色的马都不算是马了吗？
公孙龙：马本来有颜色，所以有白马。假使马没有颜色，就只有“马”而已 ，怎能称它为白马？但是，规定马是白色的马就与“马”有区别了。所谓白马，是马限定于白色的，限定于白色的马自然与马是有区别的，所以说 白马非马。
客方：马，是不受“白”限定的马；白，是不受“马”限定的白。把白与马两个概念结合起来而相与限定，变成一个新的概念来称呼不受限定的概念，这当然是不可以的。所以，认为白马不是马，是不对的。
公孙龙：照您看来，有白马就是有马，但是，能够说“有白马就是有黄马”了吗 ？
客方：当然不可以那样说。
公孙龙（答难者再说）：既然承认了“有马区别于有黄马”，就是把黄马与马区别开来了，这就是说黄马非马了；既然把黄马与马区别开来，反而要把白马与马等同起来，这不就是叫飞鸟沉到水里飞翔而让棺与椁各在西东 那样好笑吗？这是十足的逻辑混乱。
公孙龙：认为有白马不能说是没有马，这是不去考虑“白马”而就马形来说 的。但是，“白马”却是与马相结合「而不能分开」的概念，因此，作为白马的概念不能称为马。所以，称为“马”的，仅仅是以马形而称为马， 而不能以白马称为马。因此，称为马的概念，是不能作为任何一匹具体有色之马的概念的。
白色并不限定于哪一种事物的白，具体事物对“白”来说并不妨碍作为“白”的本质，因而可以忽略不计。白马，则是限定于白色的马。限定于具体事物的白（如白马）是与抽象的、一般的“白”有区别的。「同样的 理由」，“马”，是不限定于哪一种颜色的，所以，黄马、黑马都可以算数；白马，只限定于白色的马，黄马、黑马都因具有与“白马”不同的颜 色而不能算数。所以仅仅只有白马才能算数「换言之，只有白马才能答应 “白马”的概念，黄马、黑马都不能答应“白马”的概念」。不加限定的 概念与加以限定的概念是有区别的。所以说白马与马是有区别的。
以上的解释，很多人估计很难理解，因为人从出身就陷入了形象的概念，我们用数学里面的反证法来证明白马非马。
首先我们否定结论，白马就是马
那么白马是马就有等式（1）
承认白马就是马，那么黄、黑马也是马就有等式（2）
