> Q(S)上超越的な実数が存在することに反し矛盾

存在しないでしょ。どんな実数？
ゼロ集合はどこで使ってるんだ？