集合論とか難しい話をしなくても高校1年レベルの数学が分かれば納得できる話です。 高校数学で「全ての要素が真ならば真」という命題は「偽の要素が１つもなければ真」という命題に等しいという事を学びます。後者ならallやeveryのような関数に空配列を渡す…