113 reputation
4
bio website
location United States
age 27
visits member for 3 years, 11 months
seen Sep 26 at 19:42

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?