宣告婚姻无效案中对子女抚养达成协议的调解书案号，理论上可以设定为“民初1251号”，但具体案号需由法院根据实际案件情况及编号规则来确定。以下是对此问题的详细分析：

一、案号设定的基本原则

案号是法院对案件进行编号管理的一种方式，它通常包含了法院名称、案件类型、年份、序号等信息。在设定案号时，法院会遵循一定的规则和程序，以确保案号的唯一性和规范性。对于宣告婚姻无效案中对子女抚养达成协议的调解书，其案号同样需要遵循这些原则。

二、案号设定的具体实践

1. 法院自主性：在实际操作中，案号的设定具有一定的自主性。法院会根据自身的编号规则和案件管理需要，为每个案件分配一个独特的案号。因此，“民初1251号”这样的案号，在理论上是有可能被用于宣告婚姻无效案中对子女抚养达成协议的调解书的，但前提是该案号尚未被其他案件使用，且符合法院的编号规则。

2. 案号构成要素：案号通常由法院代字、案件类型代字、年份、案件序号等要素构成。例如，“民初”可能代表民事一审案件，“1251”则可能是该年度内该类案件的序号。法院在设定案号时，会确保这些要素的准确性和规范性。

3. 避免重复：为了避免案号的重复使用，法院会建立完善的案件管理系统，对每个案件的案号进行唯一标识。因此，在设定“民初1251号”这样的案号时，法院会先查询该案号是否已被其他案件使用，以确保其唯一性。

三、法律建议

1. 遵循法院规则：在处理宣告婚姻无效案及子女抚养协议时，建议当事人和律师遵循法院的案号设定规则，不要自行设定或要求使用特定的案号。法院会根据实际情况和编号规则来分配案号，以确保案件管理的规范性和效率。

2. 关注案件实质：无论案号如何设定，重要的是要关注案件的实质内容和处理结果。在宣告婚姻无效案中，对子女抚养的协议达成是关键环节之一。当事人和律师应重点关注抚养协议的合法性、合理性和可执行性，以确保子女的权益得到充分保障。

3. 咨询专业律师：在处理此类复杂案件时，建议当事人咨询专业律师以获取更具体的法律建议和指导。律师可以根据案件的具体情况和法律规定，为当事人提供全面的法律分析和解决方案。

如有任何关于婚姻家庭领域的法律问题，可以直接向我咨询。