endlich-axiomatisierbar
endlich-axiomatisierbar, Eigenschaft einer mathematischen Theorie, für die eine endliche Menge von Axiomen ausreicht, um daraus alle Sätze dieser Theorie abzuleiten.
Quellenangabe
Quellenangabe
redaktionell geprüfte und verlässliche Inhalte
altersgerecht aufbereitet im Schullexikon
monatlich kündbar