|
gptkb:Desargues's_theorem
|
concurrency of lines joining corresponding vertices
|
|
gptkb:Butcher–Oemler_effect
|
galaxies in clusters evolve over time
|
|
gptkb:homotopy_equivalence
|
homotopy type
|
|
gptkb:huge_cardinal_axiom
|
existence of huge cardinals
|
|
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_abelian_varieties_over_algebraic_extensions
|
the Tate-Shafarevich group is finite for abelian varieties over number fields under certain conditions
|
|
gptkb:Inverse_Mapping_Theorem
|
local invertibility
|
|
gptkb:Impeccability_of_Christ
|
Jesus Christ could not sin by nature
|
|
gptkb:eternalism_(philosophy_of_time)
|
temporal passage is an illusion
|
|
gptkb:ABC_Conjecture
|
gptkb:Fermat's_Last_Theorem_for_large_exponents
|
|
gptkb:ressurreição_de_Jesus_Cristo
|
vida eterna
|
|
gptkb:Kleene's_theorem
|
every regular language can be accepted by a finite automaton
|
|
gptkb:Axiom_of_foundation
|
Set membership is well-founded
|
|
gptkb:Heine–Borel_theorem
|
every closed and bounded interval in R is compact
|
|
gptkb:Rao–Blackwell_theorem
|
gptkb:Rao–Blackwellization
|
|
gptkb:Laplace's_demon
|
past is reconstructible
|
|
gptkb:Karl_Rahner's_Rule
|
God's actions in history reveal God's true nature
|
|
gptkb:Gödel's_completeness_theorem
|
semantic entailment equals syntactic provability in first-order logic
|
|
gptkb:Serre's_theorem_on_GAGA
|
algebraic and analytic vector bundles are equivalent on projective complex varieties
|
|
gptkb:Fundamental_Theorem_of_Algebraic_K-theory
|
K-theory of Laurent polynomial rings
|
|
gptkb:The_War_of_All_Against_All
|
lack of security
|