Title: Sets, Logic and Axiomatic Theories