0306132人目の素数さん垢版 | 大砲2020/05/09(土) 02:15:37.37ID:NE54uC7L >>305 ∀xFx,∀x∃yFxy という命題の話 たしかに混ざった話にはなっている