x,yは有理数とする

x≠0、y≠0とする

x/0=yとする

x
=y・0
=0

x≠0と矛盾する

よってy=x/0は成立しない