У статті представлена аксіоматично-дедуктивна стратегія організації змісту навчальної дисципліни за допомогою онтологічного підходу в системах електронного навчання в галузі інформаційних технологій. Авторами враховано, що необхідною властивістю системи аксіоматичних висловлювань є їх узгодженість. На основі аксіоматично-дедуктивної стратегії запропоновано нові підходи до формування змісту навчальної дисципліни. Доведено, що система коректних викладів навчальної дисципліни спирається на її терміно-концептуальний апарат, зокрема аксіоматичні висловлювання. У статті представлено розроблені математичні структури, що описують аксіоматично-дедуктивну субстратегію організації загальних положень академічної дисципліни та таксономічно орієнтовану субстратегію розгортання змісту навчальної дисципліни. У такий спосіб забезпечується перехід від змістовної форми подання набору положень академічної дисципліни до його подання за допомогою штучних мов математичної логіки. Використання описової логіки забезпечує формалізацію процедури відображення аксіоматичної неформальної системи в аксіоматичній формальній системі. Математичні структури описують і деталізують абстрактне логіко-семантичне ядро академічної дисципліни у вигляді групи аксіоматичних систем. Відзначено, що основне ядро змісту академічної дисципліни містить її основні поняття та судження. Водночас забезпечується строго логічний перехід від абстрактних загальних понять та висловлювань до понять та тверджень нижчого рівня універсальності та абстракції. Зазначено, що для розміщення змісту академічної дисципліни доцільно розробити таксономічно орієнтовану субстратегію, яка базується на багаторазовому застосуванні. Математичні структури дозволяють провести аналіз узагальненої структури процесів взаємодії словесного рівня опису предметної галузі навчальної дисципліни, формального рівня опису предметної галузі та опису предметної галузі на рівні комп'ютерної онтології, яка здійснюється шляхом формалізації, інтерпретації, кодування та декодування в середовищі розробки комп'ютерної онтології. Як приклад застосування запропонованої аксіоматично-дедуктивної стратегії були розроблені елементи глосарія та таксономії концепцій дисципліни "Комп'ютерна логіка", які реалізовуються в середовищі Protégé за допомогою мови опису онтології OWL.