公理を変形したらどうなる？

公理を変形したらどうなる？ (20ﾚｽ)
上下前次 1-新

1(1): 11/20(水)14:13 ID:uM/x5sbf(1) AAS
パラメータtを導入して、公理系がtに依存して変化するような体系は考えられる？

2: 11/20(水)14:15 ID:ETcYVeFW(1/8) AAS
働けウンコ製造機

3: 11/20(水)14:15 ID:ETcYVeFW(2/8) AAS
365日糞スレ

4: 11/20(水)15:11 ID:ETcYVeFW(3/8) AAS
なぜ、ZFC公理まで遡らなくても数学が出来るの？
2chｽﾚ:math

5: 11/20(水)15:11 ID:ETcYVeFW(4/8) AAS
選択公理って宗教だよな
2chｽﾚ:math

6: 11/20(水)15:12 ID:ETcYVeFW(5/8) AAS
選択公理って宗教だよな
2chｽﾚ:math

7: 11/20(水)15:12 ID:ETcYVeFW(6/8) AAS
定義と公理の違いって何？
2chｽﾚ:math

8: 11/20(水)15:12 ID:ETcYVeFW(7/8) AAS
ZFCの無矛盾性を公理にしたらバグった？
2chｽﾚ:math

9: 11/20(水)15:12 ID:ETcYVeFW(8/8) AAS
デタラメに公理系を作って研究してもいいの？
2chｽﾚ:math

10: 11/20(水)15:27 ID:K4RZeoZT(1) AAS
公理系A{n+1}がA{1}, ..., A{n}から作られるようなものは考えられるの？

11: 11/20(水)16:16 ID:GDTm7Jgu(1) AAS
時間依存する公理系を微分したりできるの？

12(1): 11/20(水)18:53 ID:k6TDqMcV(1) AAS
「全ての集合Aに対してP(A)が成り立つ」という公理は集合Aをパラメータとする公理ともいえる
そう考えると珍しいもんではない

13: 11/20(水)18:58 ID:JxECaFyr(1) AAS
IUT理論は？

14(1): 11/20(水)20:49 ID:rIMIySjg(1) AAS
公理系のモジュライ
形式体系のモジュライ

15: 11/20(水)21:19 ID:siiBj+gR(1/2) AAS
>>12,14
チャイティンのオメガ

16: 11/20(水)21:21 ID:siiBj+gR(2/2) AAS
>>1
q近似q類似みたいに
円周率＝内角の総和が可変だと思った非ユークリッド幾何

17: 11/20(水)21:54 ID:JWSspVNU(1) AAS
曲率がパラメータに沿って変化する曲面の族考えたら、ユークリッド幾何の変形じゃん

18: 11/20(水)23:13 ID:XxHRyt7P(1) AAS
リーマン幾何よくわかんないんだけど、何かよいクラスの多様体でそういうことできる例はあるの？

19: 11/21(木)01:54 ID:E/uf+8vN(1) AAS
楕円関数のモジュライは、非可算無限個の同型類をパラメータ付けして、対応する格子が虚二次体のイデアルのときだけ虚数乗法がある

20: 11/21(木)08:41 ID:9jAXZf4L(1) AAS
その場合は可算無限個