>>7
だからそのwikipediaのやり方は間違ってるよな
型理論の方が真実に近い
あっちでは量化には必ず型が指定されてるから範囲なしの「全てのx」とかいう意味不明な概念が出てこない
数学の矛盾を発見した！
■ このスレッドは過去ログ倉庫に格納されています
9１３２人目の素数さん
2019/11/26(火) 20:49:19.55ID:DeNFPXNQ■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★2 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場！ パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 「いいの？前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男（54）逮捕 ★2 [煮卵★]
- 【テレ東音楽祭】長渕剛、テレ東初出演！『とんぼ』『乾杯』熱唱へ 酒井法子は『碧いうさぎ』歌唱 [Ailuropoda melanoleuca★]
- 【芸能】立川志らく「ヤクザの事務所が隣近所にあれば、強盗だとか闇バイトが来ない」 暴力団の“利点”指摘に違和感 [冬月記者★]
- 「撮り鉄」同士のトラブルか 車のフロントガラス破壊の男逮捕 寝台特急カシオペア撮影のため東京から宮城・白石に遠征 [少考さん★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★107【メキシコ/カナダ/アメリカ】
- 【MLB】ドジャース vs オリオールズ ★3
- 巨専】
- 函館競馬1回3日目
- 競輪実況★1784
- はません ★3
- 【高市悲報】安倍晋三ってゴミクズだけどコミュ力だけは認めざるおえないよな [714769305]
- 🏡ガイジ製造工場
- 【動画】クリスティアーノ・ロナウド（クリロナ）さん、ガチのマジでおわる [398059782]
- 火弾(メラ) 火球(メラミ) 大火球(メラゾーマ)
- 木原「高市首相がG7でボッチだったり無視された事実はない！デマを流すなー😡」 [931948549]
- 【悲報】「フェルメール展」のチケットを取れなかったジャップ民がSNSで大暴れwwwwwwwwwwwwwwwwwwwwwwww [551743856]