Geminiと数学の疑問について議論してたら、「それは超限順序数を用いてゲンツェンがやろうとした事」と言われてなにがなんだかわからない＞＜(わからない)