Mathematical logic is the highest level of philosophical truth
A unifying language enables further discovery