snや、s'nは、乱数ポィ実数なので
「∀n∃n0：n < n0 ⇔ sn≠ s'n 」

その対偶は、
「∃n0∀n：n >= n0 ⇔ sn＝ s'n 」か

だが、不可思議。
snとs'nが、乱数ポィ実数でも一致
しかし気にない、論理のお遊びで
パラドキシカルなの方が、楽しいでしょ
たとえば1+2+3+…<∞とか
ここは、忙しいときの休憩タイムとして
利用させて頂いておる。