1 0 0 0 OA Göbelの第2不完全性定理
- 著者
- 山岡 悦郎 Yamaoka Etsuro
- 出版者
- 三重大学人文学部
- 雑誌
- 人文論叢 : 三重大学人文学部文化学科研究紀要 (ISSN:02897253)
- 巻号頁・発行日
- vol.5, pp.81-94, 1988-03-25
言及状況
Twitter (1 users, 1 posts, 1 favorites)
@Tamai_physics ∈の定義が違う例がすぐにお渡しできません。だいぶ前にサーベイしたため忘れてしまいました。いま見たところ下記はそうかもしれません。forcing のcohenだと思いましたが出てこないです。以上です
引用 a∈b は, n階の対象がn+1階の対象の元であることを表わす。
https://t.co/c7AW8kG88m