Self-evident, intuitively obvious.
Presumed without analysis.
Based on hypothesis and theory rather than experiment or empirical evidence.
Developed entirely from scratch, without deriving it from existing languages.
In a way based on theoretical deduction rather than empirical observation.
Able to be demonstrated.
Something that can be demonstrated.