Talk:Atomic model (mathematical logic)