現在2021年11月15日13時00分である。(この投稿は、ほぼ1656文字)
麻友「13時なんて、早く始めたわね」
私「取り敢えず、これを、1時間くらいやって、その後、考える」
麻友「頑張ってね」
の誤植と思われるもの。
68ページ
22行目、23行目。
等号の左辺の、閉じるカッコが、1つずつ少ない。
69ページ
9行目
◯
✕
18行目
最後尾
◯
✕
左辺との兼ね合い上、修正すべきか。
24行目
最後尾。開くカッコが、1つ足りない。
70ページ
10行目
◯ に対する真理値写像 で
✕ に対する付値 で
17行目
◯ 写像
✕ 付値
23行目
◯ 上の真理値写像 を与えれば
✕ 上の付値 を与えれば
26行目
◯
✕
28行目
◯
✕
29行目
◯ が矛盾するなら
✕ が矛盾するなら
30行目
◯
✕
31行目
◯
✕
71ページ
2行目
◯ ある につき,
✕ ある につき,
4行目
◯ それと最後尾にピリオド ②.
✕ ②
6行目
(空) の、 は不要。
15行目
◯ 写像の列
✕ 付値の列
16行目
文先頭 (‘任意の番)号 について, の の後に、閉じるクオーテーションマークがない。
17行目
◯ 全体の上の真理値写像
✕ 全体の上の付値
私「今日は、ここまでにするよ」
麻友「1時間くらいは、頑張ったわね。じゃあ、今日は、おしまいにしていい」
私「バイバイ」
麻友「バイバイ」
現在2021年11月15日14時21分である。おしまい。