数学基礎論(数理論理学)入門【選択公理】
25:01
【数学基礎論入門】ZFCと形式的証明を定義する
25:00
なぜ人間は変態になるのか？性的倒錯の心理学 #99
24:45
【最強の証明？】持っている情報を一切 伝えずに証明する手法とは【ずんだもん解説・ゆっくり解説】
21:34
群論 と 19万6883次元のモンスター
18:43
1+1=2の証明が難しいって本当？(ペアノの公理)
18:57
string diagramはもう古い?! 時代はsurface diagram👊【圏論】
31:20
人間界では絶対に起きないことが将棋AI界で起きてしまう…なにこれ…
25:26