>>1
>白馬は馬ではない
>これは集合論的に真だよね

「白馬は馬ではない」という文章が
「白い馬全体の集合が馬全体の集合と異なる」という意味なら
確かに正しい

しかし、ｘに対して税が課される条件が
「ｘが馬であるとき」である場合
「ｘが白馬であれば、ｘは馬である」といえるので
ｘに対して課される税を免れることはできない
（完）