日記2

自然演繹を積極的に用いたい．

十分大きなすべての実数　4項

藤田博司『位相空間のはなし(やわらかいイデアの世界)』日本評論社 2022

十分大きなすべての実数　4項

判断

　十分大きなすべての実数が集合 $A$ に属する

i.e.　従来の表記

$∃a∈\mathbb{R}　∀x∈\mathbb{R}　x$ > $a$ ， $x∈A$

i.e.　新しい表記

$A：1つの集合$

とする．このとき

$y=［b］_{\mathbb{R}}$ 　s.t.　　①

$x=［a］_{\mathbb{R}}$ 　s.t.　　②

$a$ > $b$ 　 $⇒$ 　 $a∈A$

で表す．