Locke's argument against innate ideas follows a logical structure: if ideas are innate, they would be universally known; but there are no universal ideas about God and morality (evidenced by children, idiots, and cultural diversity); therefore, ideas are not innate.