Let $SF$ be the schema of stratified comprehension. 

Take the theory $SF + Infinity + Choice + \text {Extensionality fails everywhere}$

Are the followings consistent with this theory?

1. $\forall X (|X| \leq |P_1(X)|)$

2. $\forall X (Infinite(X) \to |X|=|P_1(X)|)$

It is known that these two statements fail in NFU, since NFU proves $|P_1(X)| < |X|$ for some sets, which makes it guilty of [cardinality error of the first kind][1] 

However the known proof of that error in NFU is Extensionality dependent, hence the question. It might be the case that removal of Extensionality may result in avoidance of first kind cardinality error.

It is known that this theory can interpret $NFU + Infinity + Choice$ because SF can interpret NFU a proof due to Marcel Crabbe`. An equivalent proof of NFU being interpretable form SF is present [here][2] 15-17.


  [1]: https://mathoverflow.net/questions/342060/can-zfc-commit-cardinality-errors
  [2]: https://www.researchgate.net/publication/265159620_The_Axiom_Scheme_of_Acyclic_Comprehension