Mathematical logic and foundations Concept
Proposition
Summary
A proposition is a statement that is either true or false. In classical logic, each proposition has exactly one of the two truth values, true or false. For example, "" is a true proposition, and " is even" is a false proposition. A question or a command is not a proposition, because it has no truth value.
Remarks
Letters such as , and usually denote propositions. An open sentence such as "" is not a proposition until has a value. It is a predicate. The connectives negation, conjunction and disjunction make new propositions from given propositions.
Where this leads
1135 pages build on this one.
- Closure is the set of limits of sequences
- Variance
- Finite intersection property
- Hasse diagram
- Prior probability
- Compact set
- Second-countable space
- Event
- A finite group is nilpotent iff it is the product of its Sylow subgroups
- Partial order
- Chernoff bound
- Chapman–Kolmogorov equation
- Bias of an estimator
- Totally disconnected space
- Urysohn's lemma
- Composition of injections is injective
- Order of cardinals
- Equivalence classes form a partition
- Triangle inequality for a metric
- Antisymmetric relation
- Infinite set
- Isolated point
- Composition of relations
- Bijective iff it has a two-sided inverse
- Cantor set is closed
- Identically distributed random variables
- Constructive proof
- Open set
- Law of the unconscious statistician
- Well-founded relation
- Left inverse
- Density of the normal distribution
- Exponential distribution
- Covariance matrix
- Open balls form a basis of the metric topology
- Chebyshev's inequality
- Isometries are injective
- Characteristic function of a sum of independent random variables
- Stationary distribution
- Closure is closed
- Bernoulli process
- Total order
- Markov chain
- Statistic
- Arzelà–Ascoli theorem
- Law of total variance
- Variance of the normal distribution
- Equivalence of norms in finite dimension
- Torus
- Cauchy–Schwarz inequality for expectations
- Lebesgue number lemma
- Continuous bijection from a compact space to a Hausdorff space is a homeomorphism
- Product metric
- Monotonicity of probability
- Möbius strip
- Correlation coefficient
- Variance under translation
- Almost sure convergence
- Law of total expectation
- Zorn's lemma
- Product topology on an arbitrary product
- Contrapositive
- Sigma-algebra
- Probability density function
- The real numbers are uncountable
- Compact iff complete and totally bounded
- Expectation of a product of independent random variables
- Closed ball
- Likelihood function
- Union of a family of sets
- T1 space
- Homeomorphism
- Groups of prime order are cyclic
- Composition of continuous maps is continuous
- Markov's inequality
- Truth table
- Standard score
- Negation of an existential statement
- Poisson point process
- Gamma distribution
- Metric space
- Inclusion of a subspace is continuous
- De Moivre–Laplace theorem
- Closed subsets of compact sets are compact
- The integers are countable
- Closure in a metric space
- Diameter of a set
- Heine–Cantor theorem
- Basis of a topology
- Logical equivalence
- Convergence of a sequence in a metric space
- Buffon's needle problem
- Kolmogorov's zero–one law
- Correspondence between equivalence relations and partitions
- The reals have the cardinality of the continuum
- Independent random variables are uncorrelated
- Convolution of probability distributions
- Lipschitz maps are uniformly continuous
- Composition of surjections is surjective
- Function composition
- Union
- Continuity at a point of a topological space
- Heine–Borel theorem
- Normal distribution
- Distance from a point to a set
- Absolutely convergent series in a Banach space converge
- Equivalence class
- Intersection of a family of sets
- Mean of the Poisson distribution
- Predicate logic
- Isometry
- Statistical hypothesis test
- Binary relation
- Equinumerous sets
- Complete metric space
- Product of countable sets is countable
- Distributive laws for sets
- Sequence spaces lp
- Independence means the joint law is the product of the marginals
- Topological embedding
- Order of an element divides the order of the group
- Median
- Comparison of topologies
- Geometric probability
- Domain
- Riesz's lemma
- Intermediate value theorem for connected spaces
- Fixed points of a p-group action
- Dirac measure
- Necessary and sufficient conditions
- Partition of a set
- Open sets characterised by neighbourhoods
- Second Sylow theorem
- Closed sets contain their limits
- Completeness of the space of bounded continuous functions
- Method of moments
- Groups of order p squared are abelian
- Propositional logic
- Metrizable space
- Finite intersection of open sets is open
- De Morgan's laws
- Mean of the normal distribution
- Independent sigma-algebras
- Intersection of closed sets is closed
- The number of Sylow subgroups is the index of the normaliser
- Product of compact sets is compact
- Open sets of a metric space
- Metric topology
- Baire category theorem
- Schröder–Bernstein theorem
- Finite-dimensional normed spaces are complete
- Metrizable spaces are normal
- Normal space
- Independent and identically distributed random variables
- Classical definition of probability
- Pairwise independent events that are not mutually independent
- Marginal distribution
- Complement
- Moment-generating function of the normal distribution
- Open balls are open
- Quantile function
- Universal quantifier
- Continuity via closed sets
- Mathematical proof
- Connected subsets of the real line are intervals
- Proof by contrapositive
- Finite set
- Power set
- Banach space
- Weak law of large numbers
- Universal set
- Multiplication rule
- Borel sigma-algebra
- Addition rule for two events
- Random walk
- Linear maps on finite-dimensional spaces are continuous
- Random variable with a density
- Interior
- Uncorrelated random variables that are not independent
- Sequential compactness
- Kurtosis
- Martingale
- Subbasis
- Topological space
- Box topology
- Transitive relation
- Dense set
- Tautology
- Restriction of a function
- A set is closed iff it equals its closure
- Baire space
- Subspace topology
- Variance of a sum
- Limits are unique in Hausdorff spaces
- Connected space
- Probability axioms
- Mean of the geometric distribution
- Open ball
- Expected value
- Right inverse
- Strong law of large numbers
- Covariance
- Random variable
- Closure
- The rationals are countable
- Set difference
- Base rate fallacy
- Law of total probability
- Independence of two random variables
- Range of a function
- Counterexample
- Neyman–Pearson lemma
- Convergence in probability
- Boole's inequality
- P-value
- Epsilon-delta continuity in metric spaces
- Chi-squared test
- Continuous image of a connected set is connected
- Convergence in probability implies convergence in distribution
- Central limit theorem
- Locally compact space
- 68–95–99.7 rule
- Cantor's intersection theorem
- Well-order
- Transition matrix
- Conditional variance
- Bounded linear maps are continuous
- Codomain
- Closed subsets of complete spaces are complete
- Subset
- Universal property of the quotient topology
- Preimage of a set
- Epsilon-delta uniform continuity
- Conditional probability
- Lévy's continuity theorem
- Convergence of random variables
- Meagre set
- Maximum likelihood estimation
- Identity function
- Order of quantifiers
- Completion of a metric space
- Multivariate normal distribution
- Closed set
- Lexicographic order
- Mutual independence of events
- Separable space
- The alternating group A5 is simple
- Antichain
- Chain
- Cardinality of the power set
- Skewness
- Pseudometric space
- Disjunction
- Upper bound
- Galton–Watson process
- Interior is the largest open subset
- Markov property
- Limit point
- Intersection
- Zermelo–Fraenkel set theory
- Union of open sets is open
- Russell's paradox
- First-countable space
- Axiom of choice
- Injective iff it has a left inverse
- Student's t-test
- Proof by contradiction
- Equivalent norms
- Associativity of composition
- Discrete random variable
- Bernoulli distribution
- Converse relation
- Convergence in distribution
- The cumulative distribution function determines the distribution
- Regular space
- Boundary
- Abelian simple groups have prime order
- Cauchy's theorem
- Sample variance
- Cardinality
- Tychonoff's theorem
- Existential quantifier
- Bayesian inference
- Path-connected space
- Topologist's sine curve
- Confidence interval
- Complement of an open set is closed
- Compactness and sequential compactness agree in metric spaces
- Continuous image of a compact set is compact
- Venn diagram
- Posterior probability
- Hausdorff maximal principle
- Nowhere dense set
- Variance under scaling
- Discrete uniform distribution
- Conjunction
- The number of Sylow subgroups divides the index
- Universal property of the product topology
- Epsilon characterisation of Cauchy sequences
- Minimal element
- One-point compactification
- Continuum hypothesis
- Compact Hausdorff spaces are normal
- Contraction mapping
- Equicontinuity
- Hausdorff space
- Coupon collector's problem
- Cumulative distribution function
- Open connected subsets of R^n are path-connected
- Characteristic function
- Compact subsets of a Hausdorff space are closed
- Well-ordering theorem
- Completeness via Cauchy sequences
- Uniqueness quantifier
- Hilbert's hotel
- Pairwise independence
- Symmetric relation
- Cauchy distribution
- Double negation law
- Bayes' theorem
- Variance as the mean of the square minus the square of the mean
- Epsilon-net characterisation of total boundedness
- Birthday problem
- Moment-generating function
- Cantor pairing function
- Student's t-distribution
- Connected components are closed
- Characteristic function of the normal distribution
- Direct proof
- Open cover
- Second Borel–Cantelli lemma
- Sum of independent normal random variables
- Closed map
- Independence of two events
- Negation of a universal statement
- Compactness via open covers
- Linearity of expectation
- Bounded set
- Metric spaces are Hausdorff
- Sup norm on bounded continuous functions
- Monty Hall problem
- Converse of Lagrange's theorem fails for the alternating group A4
- Transitive closure
- Moment
- Heine–Borel theorem in finite-dimensional normed spaces
- Projections are continuous
- Interior is open
- Beta distribution
- Probability of the complement
- Expectation with respect to the binomial distribution
- Injective function
- Cumulant generating function
- Image of a set
- Third Sylow theorem
- Joint probability distribution
- Probability distribution
- Equivalence relation induced by a function
- Stochastic process
- Cardinal number
- Sample mean
- Compact space
- Frattini argument
- Connected set
- T0 space
- Type I and type II errors
- Almost surely
- Compact subsets of a metric space are bounded
- Ordinal number
- Generating function of a sum of independent random variables
- Chi-squared distribution
- Limit of the cumulative distribution function at infinity
- Cantor set is homeomorphic to the space of binary sequences
- Converse
- Every infinite set has a countably infinite subset
- Image of an intersection
- Preorder
- Law of excluded middle
- Size of an orbit times the size of the stabiliser
- Continuous linear map
- Path component
- Countably infinite set
- Equivalence relation
- Closure is the smallest closed superset
- Bijective function
- Hypergeometric distribution
- Open map
- Moments are derivatives of the moment-generating function at zero
- Almost sure convergence implies convergence in probability
- Continuous map of topological spaces
- Bertrand paradox
- Least element
- Subspace metric
- Predicate
- First Borel–Cantelli lemma
- The characteristic function determines the distribution
- Axiom of extensionality
- Lipschitz map
- Set-builder notation
- Law of a random variable
- Convergence in mean
- Estimator
- Equivalent metrics
- Surjective iff it has a right inverse
- Maximal element
- Variance of a sum of independent random variables
- Aleph-null
- Continuous real function on a compact set attains its bounds
- Vacuous truth
- Mean squared error
- Biconditional
- Quotient topology
- First Sylow theorem
- Poisson distribution
- Probability measure
- Continuity is equivalent to sequential continuity in metric spaces
- De Morgan's laws for sets
- Banach fixed point theorem
- Isometric isomorphism
- Binomial distribution
- Indicator function
- Standard deviation
- Compact closed unit ball implies finite dimension
- Complete subspaces are closed
- Disjoint sets
- Law of total probability for an event and its complement
- Inverse function
- Cardinality of the continuum
- Proof by cases
- Totally bounded set
- Probability mass function
- Monotone function
- Gambler's ruin
- Continuous uniform distribution
- Circle as a quotient of the real line
- Hoeffding's inequality
- Moment-generating function of a sum of independent random variables
- Cantor's theorem
- Hölder continuity
- Countable intersection of dense open sets is dense
- Tietze extension theorem
- Uncountable set
- Continuity of probability measures
- Independence of random variables
- Cantor's diagonal argument
- Geometric distribution
- Monotonicity of the cumulative distribution function
- Reflexive relation
- Function
- Consistent estimator
- Surjective function
- Poisson limit theorem
- Negative binomial distribution
- Negation
- Graph of a function
- Modus ponens
- Tail sum formula for expectation
- Order isomorphism
- Conditional expectation
- Absorbing Markov chain
- Comparability of cardinals
- Groups of order pq
- Continuity via open sets
- Sum of independent Poisson random variables
- Closed balls are closed
- Conditional probability distribution
- Choice function
- Burnside's lemma
- Symmetric difference
- Proper metric space
- Product topology
- Greatest element
- Countable union of countable sets is countable
- Probability-generating function
- Memorylessness
- g to the order of the group is the identity
- Countable set
- Transfinite induction
- Conditional independence
- Path-connected spaces are connected
- Implication
- Central moment
- Operator norm
- Law of large numbers
- Quotient set
- Probability space
- Doob's upcrossing inequality
- Relative CW complex
- Proof complexity
- Riemann domain over C^n
- VC dimension
- Closure operator
- Univalent function
- Translation surface
- Bernstein–von Mises theorem
- Busemann G-space
- Arnold tongue
- Model theory
- Cramér–Rao bound
- Linearly ordered group
- Stone–Weierstrass theorem
- Pettis measurability theorem
- Efficiency of an estimator
- Proof complexity
- Log-rank test
- Arakelyan's theorem
- Kirkman's schoolgirl problem
- Functional data analysis
- Brouwer–Heyting–Kolmogorov interpretation
- Weak ordering
- Poisson regression
- Lebesgue's theorem on differentiability of monotone functions
- Sequential analysis
- Locally compact group
- Ergodic decomposition
- Nonexistence of infinite-dimensional Lebesgue measure
- Expansion of iterated differences in shifts
- Free monoid
- Order type
- Ordinal arithmetic
- Discrete series representation
- Kleene algebra
- Köthe–Toeplitz dual
- Koksma–Hlawka inequality
- Hodges' superefficient estimator
- Martingale representation theorem
- Matrix Wiener–Hopf factorization
- Backward difference operator
- Rectifiable set
- Repair radii and villainy
- Classification of surfaces
- Namioka--Phelps
- Mathematical statistics
- F-test
- Laplace transform of the Dirac delta
- Stationary process
- Twelvefold way
- Orthogonal polynomials on the unit circle
- Lagrange's theorem
- Nilradical is the intersection of the prime ideals
- L2 convergence of Fourier series
- Cramér–Wold theorem
- Oscillator representation
- Ultrafilter lemma
- Forcing
- Brouwer's characterization of the Cantor space
- Boolean model
- Convergence of the Neumann series for Volterra kernels
- Transfer principle
- Exponential of a bounded operator
- Von Neumann universe
- Kolmogorov–Arnold–Moser theorem
- Schwarz–Christoffel mapping
- Type theory
- Stochastic partial differential equation
- Latin square
- Series in Banach spaces
- Second-order logic
- Teichmüller space
- Galois group of a prime degree polynomial with two nonreal roots
- Minkowski question-mark function
- Wald–Wolfowitz optimality of the sequential probability ratio test
- Doob's martingale inequality
- Realizability
- Sequential probability ratio test
- Céa's lemma
- Brownian bridge
- Intuitionistic logic
- Consistency of the maximum likelihood estimator
- Wiener process
- Fodor's lemma
- Empirical Bayes method
- Ordinal analysis
- Woodin cardinal
- Karhunen–Loève theorem
- Pettis integral
- Strongly measurable function
- Brent's method
- Mergelyan's theorem
- Itô isometry
- Naive set theory
- Matrix Riemann–Hilbert problem
- CW complex
- Indefinite sum
- High indices theorem
- E-infinity operad
- Hille–Yosida theorem
- Bayes factor
- Diaconescu's theorem
- Pickands–Balkema–De Haan theorem
- Many-valued logic
- Global attractor
- Skolem's paradox
- Dynkin system
- Runge's theorem
- Stationary set
- Basu's theorem
- Cantor normal form
- Bump function
- Vanishing mean oscillation
- Jacobson topology
- Spectral decomposition theorem
- Banach bundle
- Veblen function
- Axiom of regularity
- Constructible universe
- Variogram
- Robbins–Monro algorithm
- Contiguity of measures
- Order statistic
- Besicovitch covering theorem
- Riesz space
- Dirichlet process
- Absolute neighborhood retract
- Lindley's paradox
- Tychonoff space
- Model theory of algebraically closed fields
- Universally measurable set
- M-estimator
- Brouwer–Heyting–Kolmogorov interpretation
- Fixed-point iteration
- Kunen's inconsistency theorem
- Ornstein–Uhlenbeck process
- Kernel regression
- Lp space
- Hilbert's twenty-first problem
- Bayes estimator
- Bisection method
- Interior algebra
- Adapted process
- Score test
- Kingman's subadditive ergodic theorem
- Multivariate analysis of variance
- Nichols–Zoeller theorem
- Lax–Milgram theorem
- McDiarmid's inequality
- Lévy's characterization of Brownian motion
- Asymptotic normality of the maximum likelihood estimator
- Borel determinacy theorem
- Mann–Whitney U test
- Central difference
- Neumann series
- Kolmogorov automorphism
- Singular cardinals hypothesis
- Standard map
- Score
- Hall's theorem on solvable groups
- F-distribution
- Shift operator
- Δ-complex
- Difference quotient
- Lebesgue covering dimension
- Axiom schema of replacement
- Edgeworth expansion
- Crofton formula
- Bourbaki–Witt theorem
- Internal set theory
- Continuous functional calculus
- Summation by parts
- Hausdorff paradox
- Monotone likelihood ratio
- Δ-system lemma
- Sample mean and sample covariance
- Wilcoxon signed-rank test
- Brelot space
- Symmetric derivative
- Constructive analysis
- Nash–Moser theorem
- Moore family
- Metropolis–Hastings algorithm
- Partially ordered ring
- Ordered group
- Minimum total potential energy principle
- Continuous-time Markov chain
- Darboux function
- Curry–Howard correspondence
- Modulus of continuity
- Banach limit
- Kriging
- Cantor's isomorphism theorem
- Identifiability
- Baire function
- Branched covering
- Minimal sufficient statistic
- Semiring of sets
- Order dimension
- Pi-system
- Whittle likelihood
- Cut-elimination theorem
- Logistic regression
- Carathéodory's theorem on boundary extension
- Order embedding
- Convergence to equilibrium of ergodic Markov chains
- Cramér–von Mises criterion
- Azuma's inequality
- Fréchet manifold
- Gaussian free field
- Parry measure
- Kernel density estimation
- Hardy–Littlewood maximal inequality
- Proof that the order of an element divides the order of the group
- Interior operator
- Algebra of sets
- Duality in order theory
- Arnold's cat map
- Landau's constants
- Implicit function theorem in Banach spaces
- Upper set
- Erdős–Kac theorem
- Proof-theoretic ordinal
- Random group
- Ordinal analysis
- Algebraic logic
- Proof-theoretic ordinal
- Archimedean equivalence classes
- Detailed balance
- Strict total order
- Logical connective
- Coupling from the past
- Steinitz's theorem on algebraically closed fields
- Robust statistics
- Lebesgue–Stieltjes integration
- Burali-Forti paradox
- Lipschitz domain
- Hölder's theorem on Archimedean groups
- Hidden Markov model
- Finite-dimensional distributions
- Continuous mapping theorem
- Bias–variance decomposition
- Category of posets
- Lévy process
- Wald's equation
- Random ordinary differential equation
- Topological ring
- Finite difference
- Birkhoff's subdirect representation theorem
- Mahler's theorem
- Suslin's problem
- Axiom schema of replacement
- Hadamard gap theorem
- Monte Carlo integration
- Time series
- Karamata's Tauberian theorem
- Optional stopping theorem
- Newton's forward difference formula
- Measurable space
- Integral operator
- Singular simplicial set
- Breakdown point
- Delta method
- Transformation semigroup
- Regular surface
- Sokhotski–Plemelj formulae
- Minimum description length
- Newton series
- Hall subgroup
- Higher-order differences
- Noncentral chi-squared distribution
- Characterizations of semisimple modules
- Hájek–Le Cam convolution theorem
- Realizability
- Repair radii and villainy
- Differences of polynomials vanish beyond the degree
- Harmonic measure
- Covering relation
- Behrens–Fisher problem
- FK-space
- Cohen's independence of CH
- Anosov flow
- Bochner integral
- Homotopy type theory
- Submartingale
- Hodges–Lehmann estimator
- Kruskal–Wallis test
- Intuitionistic type theory
- Hilbert system
- Paraconsistent logic
- Whitehead problem
- Midpoint convex function
- Constructivism
- Stochastic difference equation
- f-ring
- Sampling distribution
- Vitali covering lemma
- Sylow theorems
- Information geometry
- Discontinuous additive functions via a Hamel basis
- Banach–Tarski paradox
- Recurrence and transience of states
- Approximation of a kernel by degenerate kernels
- Complex p-adic numbers
- Continuous function with divergent Fourier series
- Malliavin calculus
- Wishart distribution
- Infinitary logic
- Birth–death process
- Hahn embedding theorem
- de Rham curve
- Bayes risk
- Statistical inference
- Lindström's theorem
- Theory
- Fredholm map
- Nonstandard analysis
- Minimum-variance unbiased estimator
- Frattini subgroup
- Sign test
- Bounded sequences ℓ∞
- Lattice-ordered group
- Sequence space
- Proof that groups of prime order are cyclic
- Krasner's lemma
- Modal logic
- Constructivism
- Action-angle coordinates
- Slutsky's theorem
- Tanaka's formula
- Reduction of a first-kind Volterra equation to the second kind
- Several complex variables
- Space of convergent sequences
- Club set
- Sinai billiard
- Liouville–Neumann series
- Geometric Brownian motion
- Linear logic
- Empirical likelihood
- Topological field
- Dvoretzky–Kiefer–Wolfowitz inequality
- Bayesian information criterion
- Dvoretzky–Rogers theorem
- Berry–Esseen theorem
- Continuity of measure from below and above
- Zero sharp
- Hilbert metric
- Constructive analysis
- Hardy–Littlewood–Sobolev inequality
- Double-negation translation
- Hunt process
- Cochran's theorem
- Stochastic approximation
- Lusternik–Schnirelmann category
- Curry–Howard correspondence
- Kronecker's approximation theorem
- Jackknife
- Quantile regression
- Markov chain mixing time
- Birkhoff's ergodic theorem
- Diamond principle
- Dense order
- Homotopy type theory
- Akaike information criterion
- Schauder fixed-point theorem for integral equations
- Ordered ring
- Milnor's isospectral flat tori
- Inverse transform
- Set theory
- Poincaré inequality
- Von Neumann–Bernays–Gödel set theory
- Hewitt–Savage zero–one law
- Jensen's inequality for integrals
- Statistical model
- Satisfiability
- Berkovich space dynamics
- Higher-order logic
- Reflection principle
- Credible interval
- Conformal modulus
- Combinatorial species
- Contraction mapping principle for integral equations
- Intuitionistic type theory
- Density of trigonometric polynomials in continuous functions
- Jordan decomposition of a function of bounded variation
- Completion of a valued field
- Orbifold
- Mutually orthogonal Latin squares
- Ill-posedness of first-kind equations
- Proper forcing axiom
- Logical consequence
- Aronszajn tree
- Nonexistence of a projective plane of order 10
- Wiener–Ikehara theorem
- Independence of sample mean and sample variance for normal samples
- Self-similar process
- Gibbs sampling
- Epsilon nought
- Estimating equations
- Bloch's theorem
- Spectral radius formula
- Supermartingale
- Anderson–Darling test
- Spearman's rank correlation coefficient
- Inverse function theorem in Banach spaces
- Family-wise error rate
- Subshift of finite type
- Backward Euler method
- Fisher's inequality
- Galois connection
- Torus knot
- Markov chain Monte Carlo
- Suslin line
- Nested intervals theorem
- Compactness of integral operators
- Lindenbaum–Tarski algebra
- Hankel operator
- Dickey–Fuller test
- Orientation of a manifold
- Fundamental theorem of the calculus of finite differences
- Galerkin method
- Baer's criterion
- Generalized method of moments
- Doob's martingale convergence theorems
- Random integral equation
- Uniformly most powerful test
- Compactness of families of harmonic functions
- Real projective plane
- Bernstein inequalities
- Kendall rank correlation coefficient
- Interchange of summation order
- Semimartingale
- Formalism
- Empirical distribution function
- Bootstrap
- Curtis–Hedlund–Lyndon theorem
- Proof theory
- Sunflower lemma
- Lawvere's fixed-point theorem
- Idempotent semiring
- Influence function
- Orlicz–Pettis theorem
- Axiom of regularity
- Oseledets theorem
- Itô calculus
- Alexander subbase theorem
- Cantor function
- Ancillary statistic
- Commutative Gelfand–Naimark theorem
- Cofinality
- Stopped process
- Jeffreys prior
- Tauberian theorems for integral transforms
- Transcendence degree
- Enumerative combinatorics
- Fourier basis of L2 of the circle
- Hyperbolic set
- Harnack's principle
- Nerve of a cover
- Moments of the log-normal distribution
- Hilbert manifold
- Isotonic regression
- Jentzsch's theorem on positive kernels
- Natural deduction
- CW approximation
- Complete statistic
- Horvitz–Thompson estimator
- Nörlund–Rice integral
- Quasisymmetric map
- Liouville–Arnold theorem
- U-statistic
- Fractional Brownian motion
- Bayesian hierarchical model
- L-estimator
- Doubling on the integers is not an isomorphism
- Signature
- Countable additivity
- Normal function
- Power of a test
- Sequent calculus
- Parametric model
- Axiom of constructibility
- Foundations of mathematics
- Type theory
- Integral transform
- Banach–Stone theorem
- Gödel's consistency of CH and AC
- Banach–Mazur theorem
- Ring of sets
- Double-negation translation
- Steiner system
- Left-orderable group
- Randomization
- Moore–Osgood theorem
- Sufficient statistic
- Gentzen's consistency proof
- Gaussian process
- Categorical theory
- Normal family
- Missing data mechanisms
- Bruck–Ryser–Chowla theorem
- Ordered semigroup
- Likelihood-ratio test
- Cardinal characteristics of the continuum
- Karlin–Rubin theorem
- Jensen's covering theorem
- Sokhotski–Plemelj theorem
- Intuitionism
- Set theory
- Noncommutative geometry
- Heyting arithmetic
- Riemann–Hilbert problem
- Schauder basis
- Erdős–Rado theorem
- Axiom A
- Tsirelson space
- Conjugate prior
- Kolmogorov–Smirnov test
- Lebesgue differentiation theorem
- F-space
- Ladyzhenskaya–Babuška–Brezzi condition
- Maximum and minimum
- Singular homology
- Delta derivative on a time scale
- Expectation–maximization algorithm
- Carleman's singular integral equation
- Ultrafilter
- Hotelling's T-squared distribution
- Boolean prime ideal theorem
- Strict partial order
- Burkholder–Davis–Gundy inequality
- Doob–Meyer decomposition theorem
- Resolvent as Laplace transform of a semigroup
- Cross-validation
- Bounded poset
- Barbier's theorem
- Residuated mapping
- Wald test
- Szpilrajn extension theorem
- Extremal length
- Aleph number
- Pivotal quantity
- Banach algebra
- Down-closure
- Block design
- Proof theory
- Generalized linear model
- Random graph
- Hahn series
- Iterated function system
- Axiom of dependent choice
- Tame Fréchet space
- Logicism
- Forward difference operator
- Von Neumann–Bernays–Gödel set theory
- Basel problem via Fourier series
- Box–Jenkins method
- Kolmogorov continuity theorem
- Banach–Lie group
- Krull topology
- Church's theorem on undecidability of first-order logic
- Banach manifold
- BK-space
- Shrinkage estimator
- Graph embedding
- Pesin theory
- Thom–Mather stratified space
- Cantor algebra
- Empirical process
- Convenient vector space
- Binomial proportion confidence interval
- Pseudoanalytic function
- Lévy's upward theorem
- Proof of Lagrange's theorem
- Class
- Existence of transcendence bases
- Composition operator
- Sequent calculus
- False discovery rate and the Benjamini–Hochberg procedure
- Particle filter
- Cantor space
- Neyman construction
- Axiom of determinacy
- Space of null sequences
- Natural boundary
- Riemann surface
- Unique solvability of Volterra equations of the second kind
- Positive cone
- Inner model
- Easton's theorem
- Wilks' theorem
- Fubini's theorem for series
- Euler's thirty-six officers problem
- Vitali set
- Maximal chain
- Pseudo-Anosov map
- Error-correcting code
- Anosov diffeomorphism
- Analytic capacity
- Ordered vector space
- Mittag-Leffler's theorem
- Algorithmic randomness
- Harmonic space
- Fubini's theorem on differentiation
- Naive set theory
- Stability conjecture
- Geometric realization
- Skorokhod's embedding theorem
- Galois insertion
- Prime end
- Torus as a group
- Blaschke–Lebesgue theorem
- Class
- Sauer–Shelah lemma
- Function of exponential order
- Semi-continuity
- Infinite compositions of functions
- Permutation test
- Fisher's exact test
- Bonferroni correction
- Automorphism group of a bounded domain is a Lie group
- Doob decomposition theorem
- Rellich–Kondrachov theorem
- Local asymptotic normality
- Oscillation of a function
- Frequentist inference
- Likelihood principle
- Vaught conjecture
- Bunimovich stadium
- Maximal torus
- Summation of families over arbitrary index sets
- Fisher–Neyman factorization theorem
- Girsanov theorem
- Symmetric and self-reciprocal kernels
- Stone–von Neumann theorem
- Martin's axiom
- Cauchy's functional equation
- Quadratic variation
- Beth number
- Regular cardinal
- Faber polynomials
- Observed information
- Feller process
- Dialectica interpretation
- Point estimation
- Montel's theorem
- Local martingale
- Completion of a measure
- Orderable group
Further reading
- Web https://en.wikipedia.org/wiki/Proposition, lead section
About this page
| Tag | 0ZGC7ZESYN |
|---|---|
| URI | m2://0ZGC7ZESYN |
| Kind | concept |
| Writing | W1 stated |
| MSC | 03B05 |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge defines in: at least one definition (0 of 1)
- edge instance_of in: at least two examples (0 of 2)
- edge not_instance_of in: at least one non-example (0 of 1)
- edge specializes both: the more general notions and the special cases (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.