「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

927: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:17.64 ID:D+cWD+hu(1/3) AAS
無から有は生じない

928: デフォルトの名無しさん [sage] 2025/02/03(月) 17:58:31.17 ID:D+cWD+hu(2/3) AAS
型はクライスリ圏の対象

929: デフォルトの名無しさん [sage] 2025/02/03(月) 17:59:07.77 ID:D+cWD+hu(3/3) AAS
極限は普遍性
普遍性は表現
すべてはカン拡張