Det logiska genomförandet af ederstat