What's up folks, I'm currently studying mathematics logic by myself. hope we can have a good discussion here.