(philosophy) the philosophical theory that all of mathematics can be derived from formal logic
(فلسفہ) فلسفیانہ نظریہ ہے کہ تمام ریاضی کو رسمی منطق سے حاصل کیا جاسکتا ہے