数学でおかしなことを発見したのだが

**１３２人目の素数さん** · 2025/01/21(火) 02:14:27.03

実数xに対してP(x)が命題だとする
命題は論理式の有限列f1, f2, ..., fnで書けるから、すべての命題は可算個しかない
しかし実数は非可算だから、P(x)は非可算個ある

なぜだ？

**１３２人目の素数さん** · 2025/01/21(火) 02:40:37.42

ばかじゃないの？

**１３２人目の素数さん** · 2025/01/21(火) 05:36:29.92

働けウンコ

**１３２人目の素数さん** · 2025/01/21(火) 09:30:20.07

各fiも実数でパラメータ付けされるんじゃないか知らんけど

**１３２人目の素数さん** · 2025/01/21(火) 19:24:22.68

定義可能な実数は可算個しかない

**１３２人目の素数さん** · 2025/01/21(火) 20:04:52.26

18 * 18 = 18 " 17 + 18

**１３２人目の素数さん** · 2025/01/21(火) 21:17:02.11

>>1
足し算は一個しかないけど、足し算の答えは実数だと非可算個。

**１３２人目の素数さん** · 2025/01/23(木) 16:26:46.10

お薬増やしておきますね

**１３２人目の素数さん** · 2025/01/23(木) 23:00:58.28

ありがとう

**poem** · 2025/01/24(金) 15:35:55.51

巷でさ

πは…無理数と言われるけど
円周/直径にできるから…有理数
とかいうサンドイッチマンの0カロリー理論みたいなこと巷で言ってるの
円周か直径か両方を無理数にしかできないって教える人いないのかな

**１３２人目の素数さん** · 2025/01/26(日) 15:15:10.25

>>7
？
どういうこと？