Один из подходов к построению неформальной аксиоматической теории: 13

1. Составление перечня объектов данной теории и выбор символов для их обозначения (первичных терминов). 13
2. Составление перечня основных свойств отобранных объектов, то есть высказываний об основных объектах, и запись их при помощи первичных символов (аксиом). 13
3. Вывод из аксиом теорем согласно принятой системе логики. 13 Также на основе первичных терминов определяют другие используемые в теории термины. 3

Ещё один подход — непропозициональный или семантический. 2 В его рамках теория отождествляется не с системой высказываний (аксиом и теорем), выраженных на подходящем формальном языке, а с некоторым классом моделей. 2

Также существует конструктивный аксиоматический метод, который объединяет возможности стандартного аксиоматического метода и более традиционного «генетического» метода построения теорий. 4 Он позволяет представлять не только пропозициональные, но и процедурные знания и может быть использован в компьютерных системах представления знаний. 4