形成之诉出现的时间早于给付之诉，这种说法对吗？

在法律领域，要判断形成之诉出现的时间是否早于给付之诉，需要对这两个概念有清晰的理解，并结合法律发展历史来看。

首先解释一下这两个概念。形成之诉，简单来说，就是一方当事人向法院提起诉讼，请求法院通过判决来改变或者消灭某种既存的法律关系。比如，离婚诉讼就是典型的形成之诉，原告通过向法院起诉，请求法院判决解除婚姻关系，一旦法院判决生效，原来的婚姻法律关系就消灭了。

而给付之诉，是指原告请求被告履行一定给付义务的诉讼。例如，甲借给乙钱，乙到期不还，甲向法院起诉要求乙还钱，这就是给付之诉。原告的目的是让被告交付一定的财物、履行一定的行为等。

从法律发展的历史来看，在早期的法律体系中，给付之诉其实是较为常见和基础的诉讼类型。早期的法律更多地关注解决当事人之间具体的财产纠纷、债务纠纷等，这些纠纷通常以一方要求另一方给付财物或者履行某种行为来解决，也就是给付之诉。随着社会的发展和法律体系的不断完善，人们对于法律关系的调整和变更有了更多的需求，才逐渐出现了形成之诉，用来解决那些需要改变或者消灭某种法律关系的问题。

所以，形成之诉出现的时间并不早于给付之诉。从法律发展的脉络和逻辑来看，是先有了较为基础的给付之诉，而后随着社会和法律的进一步发展，才产生了形成之诉。