>>234
一行目はガチで気がかりだよね
>>206
むしろ基礎論的な問題ではないからこそ形式化のチームを作ったほうがよい
論理学に関わってる連中は数学の中からわざわざIUTを選ばないが、高い報酬で
誰かが音頭を取ればやるだろう