利用者:Pertiallic
自己紹介
[編集]しばらく翻訳をしつつ数学基礎論についての記事を書きたいと思っています
参照
[編集]https://www.mediawiki.org/wiki/Extension:Math/Syntax/ja
https://mathlandscape.com/latex-logic/
しばらく翻訳をしつつ数学基礎論についての記事を書きたいと思っています
https://www.mediawiki.org/wiki/Extension:Math/Syntax/ja
https://mathlandscape.com/latex-logic/