Mathematical logic is the highest level of philosophical truth