A fundamental theorem in mathematical logic stating that any countable theory with an infinite model has models of all infinite…