>>13
違う
たとえば中間値の定理は、∃だがパターン1
連続体濃度だから