给付之诉并不包含形成之诉，二者是诉的分类中相互独立的不同类型。以下是对这一问题的详细解释：
一、给付之诉与形成之诉的定义
给付之诉：
- 定义：给付之诉是指原告请求法院判令被告履行一定给付义务的诉讼。这种给付义务可以是金钱、财物，也可以是行为（如作为或不作为）。
- 特点：给付之诉的核心在于要求被告履行某种具体的义务，以满足原告的某种需求或利益。
形成之诉：
- 定义：形成之诉，又称变更之诉或创设之诉，是指原告请求法院通过判决改变或消灭某种既存的民事法律关系（或民事权利）的诉讼。
- 特点：形成之诉的核心在于通过法院的判决来变更或消灭现有的法律关系，从而产生新的法律状态。
二、给付之诉与形成之诉的区别
诉讼目的不同：
- 给付之诉的目的是要求被告履行某种具体的义务。
- 形成之诉的目的是通过法院的判决来变更或消灭现有的法律关系。
诉讼效果不同：
- 给付之诉的判决结果通常是被告履行某种义务，如支付金钱、交付财物或完成某种行为。
- 形成之诉的判决结果则是改变或消灭某种既存的民事法律关系，如解除合同、撤销婚姻等。
适用范围不同：
- 给付之诉适用于各种需要被告履行具体义务的场合，如合同纠纷、侵权纠纷等。
- 形成之诉则主要适用于需要变更或消灭现有法律关系的场合，如离婚诉讼、合同解除诉讼等。
三、给付之诉与形成之诉的独立性
由于给付之诉和形成之诉在诉讼目的、诉讼效果和适用范围等方面存在显著差异，因此它们是相互独立的两种诉讼类型。给付之诉并不包含形成之诉，形成之诉也不包含给付之诉。在实际的法律实践中，根据案件的具体情况和原告的诉讼请求，法院会选择适当的诉讼类型进行审理。
四、实际应用中的注意事项
明确诉讼请求：
- 原告在提起诉讼时，应明确自己的诉讼请求是给付之诉还是形成之诉，以便法院能够准确理解原告的诉求并作出相应的判决。
选择适当的诉讼类型：
- 根据案件的具体情况和原告的诉讼请求，选择适当的诉讼类型进行审理。如果原告的诉求是要求被告履行某种具体义务，则应选择给付之诉；如果原告的诉求是变更或消灭某种既存的民事法律关系，则应选择形成之诉。
遵循法律程序：
- 无论选择哪种诉讼类型，都应遵循法律程序进行诉讼活动。包括提交起诉状、参加庭审、提供证据等环节，以确保诉讼活动的合法性和有效性。
如果您在合同纠纷或其他法律领域遇到相关问题，可以直接向我咨询，我会根据您的具体情况提供专业的法律建议。