However (and this can be proved mathematically), although such systems exist, none of them can be explicitly described.
There are many people who have been able to describe such systems.
mnli hypothesis: There are many people who have been able to describe such systems. premise: However (and this can be proved mathematically), although such systems exist, none of them can be explicitly described.