=={{-it-}}==
{{-loc nom-|it}}
{{Pn}}
# {{Term|filosofia|it}} {{Term|matematica|it}} sistema di conoscenze che, dati un certo numero di postulati e determinati criteri di inferenza, comprende in sé solo teoremi che si possono dedurre da tali postulati

{{-trad-}}

{{-ref-}}
* {{Fonte|dem}}