@online{huang2021logica,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Logica del Primo ordine},
  date         = {2021-12-14},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/logica-del-primo-ordine/},
  langid       = {english},
  abstract     = {Logica del primo ordine \# Questa è la logica più utilizzata dai matematici Limitatezza della logica proposizionale \# La logica proposizionale classica non è in grado di ragionare sull'infinito Fino ad ora abbiamo utilizzato una metalogica per giustificare il per ogni e l'esiste n}
}