• предложение, которое раскрывает смысл некоторого понятия

• утверждение, которое можно вывести из ранее доказанных теорем и аксиом

• предложение, которое можно формулировать произвольно

• утверждение, которое принимается без доказательства