1. Твердження певної теорії, що приймається без доведення як вихідне, таке, що є підставою для доведення інших тверджень (теорем) цієї теорії. 2. перен. незаперечна істина, що не потребує доведень.