>>968
「矛盾に導くために」という書き方は、西野氏が書いた多変数函数論でしばしば行われる。
「両方共に或る」や「両方共に任意の」などという書き方は現代数学概説Ⅰでもよく行われる。
更にこの本ではときによっては「同時に」などという言葉も加わる。
「…が存在して…」はThere is a … that satisfy … .
などという英語で書かれた数学の文を前から訳して行くと自然にそうなる。