>>16707318
axiom 1. there exists a set
axiom 2. for every set A and every formula P there is a set {x in A : P(x) is true}

let A be any set, and let P be some retarded shit