2024-01-12から1日間の記事一覧
とする.このときは整域である. (証明の方針) を体である,と仮定し ① ② をいう. 1 (1) 前提 1 (2) 1. ∀-除去 1 (3) 2. ∀-除去 4 (4) 仮定 1,4 (5) 3,4. →-除去 6 (6) 仮定 1,4,6 (7) 5,6. →-除去 8 (8) 仮定 1,4,6,8 (9) 7,8. →-除去 10 (10) 仮定 1,4,6,…
とする.このときは整域である. (証明の方針) を体である,と仮定し ① ② をいう. 1 (1) 前提 1 (2) 1. ∀-除去 1 (3) 2. ∀-除去 4 (4) 仮定 1,4 (5) 3,4. →-除去 6 (6) 仮定 1,4,6 (7) 5,6. →-除去 8 (8) 仮定 1,4,6,8 (9) 7,8. →-除去 10 (10) 仮定 1,4,6,…