метод побудови наукової теорії, при якому за основу беруть систему аксіом, а всі інші твердження (теореми) виводять з цих аксіом логічними міркуваннями (доведеннями).