>>493
0店
数学基礎論で使われてる意味と矛盾する語法は数学全ジャンルで絶対にあり得ない