if you want to get into this more, start here:

https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem

mathematical logic can be challenging, but it doesn't require a lot of pre-requisites. i'm actually in the group of people that thinks it ought to be a more widely taken pre-requisite, itself.