113 reputation
3
bio website
location United States
age 27
visits member for 3 years, 8 months
seen May 4 at 19:46

I have a B.S. in mathematics.


Jan
19
comment Inference rules in ZFC
en.wikipedia.org/wiki/List_of_rules_of_inference - Does that contain all of the ones I would need?
Jan
19
comment Inference rules in ZFC
I do not know what extralogical means, unfortunately. Which inference rules should I use to prove theorems in ZFC? Or is there something I am missing?