1. Толерант есть толераст.
2. Каждый толераст имеет толераста, которого он шпилит.
3. Толеранта никто не шпилит.
4. Различные толерасты шпилят различных толерастов.
5. Если толерант шпилит и каждый толераст, которого шпилят, сам шпилит,
то тогда все толерасты шпилят.
такая система называется натуральными толерастами.
ps кстати, это определение натурального ряда (аксиомы Пеано)
https://ru.wikipedia.org/wiki/Аксиомы_Пеано