Formal bilim - Diğer diller