Talk:General model theory