Hi! I go by Lilly (she/her), and I am a high school student whose special interests include mathematics and philosophy. I mainly edit mathematics/philosophy articles, but I do edit other ones. I believe in universal access to education, which is 25% of my motivation to contribute here, and 75% is just giving back to Wikipedia after been helping me a ton.
References to mathematical concepts may change via author; this part I did not learn today (certainly), but what I did learn today was that Kunen apparently uses the term (for Basic Set Theory) for referring to a theory weaker than ZF. refers to BST without the Axiom of Foundation. It is only used as an ad-hoc theory by Kunen, however, as to motivate some "weak" finitistic theorems that usually hold on ZFC.