Source: https://www.math.hkust.edu.hk/~mabfchen/Math2343/Logic.pdf