تالی

1. عدد صحیحی که بلافاصله بعد از یک عدد صحیح مفروض می‏آید 2. گزارۀ دوم یک استلزام منطقی