2024年9月30日
from test2 : 202605014_1 from test2 : 20260421_1 計算に時間がかかるようになった。要調査 プラグインGtranslate vscode で編集できるように 本番サイトの反映 […]
2024年9月29日
Metamath Metamathの主要ライブラリである set.mm は、まさにあなたが探している「抽象数学の基礎からきれいにまとめてくれている」最高峰の結晶です。ZFC集合論の公理（約20個）だけをスタート地点として […]