@Gunday, даже в самой этой логической конструкции лишь допускается вариант простой истины а не доказывается