自然数の定義は?

■ このスレッドは過去ログ倉庫に格納されています
1以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 00:59:21.248ID:hznyogA40
アホ→自然数?自然にある数だろ!
インテリ気取り→1以上の整数
インテリ→0または1以上の整数

2以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 00:59:59.640ID:sy+fc8mE0
0はいるの?

3以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:00:11.457ID:HiGGTnCI0
0も含むの忘れてた

4以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:00:29.392ID:hznyogA40
>>2
>>3
インテリ気取り奴www

5以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:01:06.565ID:HiGGTnCI0
まあ理論の立て方によるから1からでも正解なんだけどね

6以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:01:08.354ID:ZQldXo+T0
なんか分野次第で0含むかどうか変わるよな
マジでわけわからん

7以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:01:12.856ID:aXRJmH0VM
0または1以上の整数

8以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:01:13.288ID:rrxDSCMm0
【愕然】肛門ガバガバになるまで調教した女に別れ話を持ちかけた結果w w w
http://focyi.ranftl.org/f7n3y6/v4twzym0op7ho4.html

【愕然】昨日初セク口スした相手に言われた言葉で打線組んだwwwwwwwww

http://focyi.ranftl.org/n0ncq4k/2f5k3e4ulbn527.html

9以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:01:32.307ID:BCG2n+Jt0
「0」または「1以上の整数」なのかー

10以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:01:40.472ID:1rkgjZwa0
えっ0含まないの?

11以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:02:20.839ID:hznyogA40
>>9
「0または1」以上の整数

12以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:02:41.041ID:01A74xIk0
ペアノの公理?

13以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:03:23.013ID:rbDaIcGGa
0以上の整数

14以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:03:57.725ID:0VVAcpqUa
ペアノの公理を満たす数

15以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:04:37.021ID:otxdANdk0
data Nat = Zero | Succ Nat

16以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:05:34.154ID:/KsSzVSx0
天才僕「1で割り切れる数全体の集合のうち非負であるもの全体」

これは天才すぎるだろ………ww

17以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:06:20.056ID:0VVAcpqUa
>>16
1.5とかも1で割り切れるな

18以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:06:44.700ID:/KsSzVSx0
>>17
たし蟹

19以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:06:43.752ID:GTlilp4p0
性の整数

20以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:07:11.381ID:BCG2n+Jt0
>>16
1+iは?

21以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:07:22.566ID:ZQldXo+T0
1で割り切れるってどういう状態のこと言うんだろか

22以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:08:09.834ID:otxdANdk0
(+) :: Nat -> Nat -> Nat
n + Zero = 0
n + (Succ m) = Succ (n + m)

23以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:08:26.793ID:/KsSzVSx0
>>20
たしかにこれじゃあ複素数も含まれちゃう(´・ω・`)

24以下、5ちゃんねるからVIPがお送りします2020/01/11(土) 01:08:27.232ID:MUG1Hsha0
素因数分解の一意性的な

■ このスレッドは過去ログ倉庫に格納されています