在数学中，我们发现真理的主要工具是归纳和模拟。