新着の記事

エンタメ議論

AAG

1月27日

ZFCで遊ぼう！（１）

自然演繹,自然数,ZFC

2

0

146

1

初心者

文献あり