Аксиома

• Аксиома — это утверждение, которое принимается без доказательства и используется для построения дедуктивной системы. 
• Математическая логика использует аксиомы для определения дедуктивных систем и доказательства теорем. 
• Аксиомы могут быть логическими или нелогическими, и каждая математическая теория начинается с определенного набора нелогических аксиом. 
• Примеры математических теорий, основанных на наборе нелогических аксиом, включают арифметику, вещественный анализ, комплексный анализ и другие области математики. 
• Аксиомы Пеано являются широко используемой аксиоматизацией арифметики первого порядка и позволили Геделю установить его вторую теорему о неполноте. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.