>無限集合論の箇所は全然トリビアルでないがね
その部分のロジックはフォローできたつもり
残りの部分が偽物