>「goto文は検証の障害になることが多い」
>「プログラムはその正しさを示せるように書かれるべきである」

>「goto文は使用しないようにすべきである」

ついでに言うと、これは演繹してるだけだから全く同じことを述べてる