يعتبر "بيانو" من اعظم الرياضيين الايطاليين في اواخر القرن التاسع عشر ومطلع القرن العشرين، حيث دخل ميدان المنطق من خلال ابحاثه في الرياضيات.لقد حاول صياغة الهندسة الاقليدية بعد ان نسقها في مجموعة من اللامعرفات،اذ اصبحت هذه الهندسة نسقا استنباطيا لا فجوة فيه،كما سعى ايضا لان يجعل من علم الحساب نسقا استنباطيا ،وذلك بوضع ثلاث افكار لامعرفة وخمس مصادر وسنحاول من خلال هذه المحاضرات عرض وتوضيح اهم النقاط.