- #1

- 19

- 0

I recently learnt predicate calculus from Schaum's Outline of Logic.

in this sort of form:

In addition to refutation trees, however;

I'm reading "Introduction to Set Theory," Hrbacek, Jech. I'm a little "annoyed" by the informal proofs.

I'm familiar with naive set theory, but don't truly see the point (yet) of doing axiomatic set theory without using logic (I know I'll end up doing it anyway because my mind would nag me, though).

Yours faithfully,

A n00b looking for some guidance.

in this sort of form:

In addition to refutation trees, however;

*pfff*, refutation trees.I'm reading "Introduction to Set Theory," Hrbacek, Jech. I'm a little "annoyed" by the informal proofs.

*Or is that a huge/impossible thing to ask and I'm naively asking for a miracle. The closest thing I can find to what I want is metamath. http://us.metamath.org/mpegif/zfnuleu.html" [Broken]***Are any books that teach axiomatic set theory through formal logic?**I'm familiar with naive set theory, but don't truly see the point (yet) of doing axiomatic set theory without using logic (I know I'll end up doing it anyway because my mind would nag me, though).

Yours faithfully,

A n00b looking for some guidance.

Last edited by a moderator: