「分野として確立して以降の集合論（CHの独立性以降）やモデル理論を取り扱っている『数理論理学』というタイトルの和書」はない、
ということは認めるのか？