宣告无效之诉是否属于形成之诉？

首先，我们来了解一下什么是形成之诉。形成之诉，简单来说，就是当事人向法院提起诉讼，请求法院通过判决来改变或者消灭某种既存的法律关系。也就是说，只要法院作出了相应的判决，法律关系就会发生变动。例如，离婚诉讼就是典型的形成之诉，一旦法院判决离婚，夫妻之间的婚姻法律关系就会消灭。

而宣告无效之诉，是指当事人请求法院宣告某种法律行为或者法律关系无效的诉讼。当法院作出宣告无效的判决后，相关的法律行为或者法律关系自始就不具有法律效力。

在我国的法律体系中，虽然没有明确条文直接表述宣告无效之诉就是形成之诉，但从法律原理和司法实践来看，宣告无效之诉具有形成之诉的特征。形成之诉的核心在于通过法院判决使法律关系产生、变更或消灭，宣告无效之诉同样是通过法院判决来否定既存的法律行为或法律关系的效力，从而使法律关系恢复到该行为或关系未产生时的状态，这符合形成之诉通过判决改变法律关系的本质。

比如，在合同纠纷中，如果一方当事人认为合同存在法定无效的情形，向法院提起宣告合同无效之诉。一旦法院判决合同无效，那么该合同从订立时起就没有法律效力，双方基于合同所产生的权利义务关系也随之消灭，这就体现了通过法院判决改变法律关系的特点，与形成之诉的定义和功能相契合。

所以，宣告无效之诉在本质上属于形成之诉。