これは集合論的に真だよね

公孫龍は龍ではない、とは違う意味で真