Coba jelasin Sistem aksioma dari Aksioma dong

Ini adalah rumus -rumus tertentu dalam bahasa formal yang berlaku universal, yaitu rumus-rumus yang dipenuhi oleh setiap penetapan nilai. Biasanya seseorang mengambil sebagai aksioma logis setidaknya beberapa tautologi minimal yang cukup untuk membuktikan semua tautologi dalam bahasa; dalam kasus logika predikat aksioma lebih logis dari yang diperlukan, untuk membuktikan kebenaran logis yang tidak tautologi dalam arti yang ketat.