mathematical logic is the highest level of philosophical truth
a unifying language enables further discovery