>SSレポートが、無限を使用する排中律という
こと

ソースは具体的にどこですか?