约会大作战时间轴梳理 绪论（1）(2)

定义1.1 将崇宫澪，即初始精灵诞生的年份称为约战元年，之前的年份称为约战前，之后的年份称为约战后，简称约战。例如约战3年，约战前5年等。
有了纪年法，我们就可以使用与现实类似的方式描述约战的时间了。例如：约战31年4月10日，约战前15年2月29日等。
此外，对于一天中的具体时刻，本系列采用24小时制，最高精确到秒。
在第十一卷中，由于士道穿越导致世界线变化，我们需要对两个世界线的时间和人物进行区分。于是，我们引入如下定义：
定义1.2 对于不同的世界线，我们用在时间后加（n）的方式表示第n世界线（n=1,2,…）。例如约战26年8月3日（1），约战前30年（2）等。当事件只在一个世界线发生不易混淆或几个世界线共同发生时，可以省略世界线标注。规定约战开篇为第1世界线。

定义1.3 类似定义1.2，我们用人名后加（n）的方式表示第n世界线（n=1,2,…）的人物。例如士道（2），折纸（1）。当人物只在一个世界线出现不易混淆或几个世界线共同出现时，可以省略世界线标注。
所以根据定义1.3，折纸（1）即我们常说的“短发折纸”，折纸（2）为“长发折纸”。
而对于原作没有直接给出的时间，我们给出以下公理辅助推理，公理不给予证明。
公理1.1（就近原则） 对于拯救精灵的关键事件，若时间未知且发生当天没有上课，则事件发生在最近的休息日。
公理1.2（放假原则） 一般的，日本高中每学年放三次长假，即春假、暑假、寒假。春假一般为2周，从3月底至4月初。寒假一般为2周，从12月底至1月初。对于这3个假期，非工作日不开学。