検索結果
ナビゲーションに移動
検索に移動
- 演繹定理は[[メタ定理]]である。つまり、理論自身の定理ではないが、その理論における演繹的証明に使われる。 [[Category:メタ定理]] …11キロバイト (422 語) - 2024年6月1日 (土) 11:03
- [[Category:メタ定理]] …15キロバイト (457 語) - 2024年11月29日 (金) 21:51
- [[Category:メタ定理]] …14キロバイト (927 語) - 2024年12月21日 (土) 07:41
- [[Category:メタ定理]] …15キロバイト (788 語) - 2024年8月24日 (土) 22:28
- [[Category:メタ定理]] …13キロバイト (220 語) - 2023年3月26日 (日) 01:10
- [[Category:メタ定理]] …15キロバイト (791 語) - 2024年9月3日 (火) 14:30
- [[Category:メタ定理]] …74キロバイト (2,025 語) - 2025年1月17日 (金) 20:00
- ゲーデルは、クラス存在定理は「{{仮リンク|メタ定理|en|metatheorem}}である。すなわち、システム（NBG）に関する定理であり、システム内の定理でではない…」と指摘した。 <ref>{{Ha …108キロバイト (7,481 語) - 2025年2月16日 (日) 05:11