പ്രിൻസിപിയ മാത്തമാറ്റിക്ക - മറ്റ് ഭാഷകൾ