>>700
>そうしないと、集合論を一階述語論理で記載できませんよ

良いんじゃね？
そもそも、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」
は、一階述語論理という しばりないよ