0371132人目の素数さん垢版 | 大砲2018/02/16(金) 23:27:16.98ID:rKq6lZd1 まあ元はと言えば有限の立場とは証明論に関しての用語ですから、対象の集合が有限かどうかには関係ないのでしょうけど