بديهيات بيانو
تعرف بديهيات بيانو، المسماة أيضاً مسلمات بيانو، في علم المنطق الرياضي بأنها مجموعة من البديهيات المتعلقة بالأعداد الطبيعية. أوجدها في القرن التاسع عشر عالم الرياضيات الإيطالي جيوسيبي بيانو. استُخدمت هذه البديهيات كما هي وبدون تعديلات تذكر في عدد من الأبحاث الرياضية أهمها التحقق من اتساق وكمال نظرية الأعداد.