A perfect universal language imagined by Gottfried Leibniz in which everything would be clearly and logically expressed, so that reasoning in general would be no more ambiguous than mathematical calculation, and no more difficult.